On the Test Case Definition for GUI Testing
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Towards minimization of test sets for human-computer systems
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
A holistic approach to test-driven model checking
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Test minimization for human-computer interaction
Applied Intelligence
Using GUI Run-Time State as Feedback to Generate Test Cases
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A practical approach to testing GUI systems
Empirical Software Engineering
Software testing: a graph theoretic approach
International Journal of Information and Communication Technology
Challenges and opportunities for improving code-based testing of graphical user interfaces
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Design and analysis of GUI test-case prioritization using weight-based methods
Journal of Systems and Software
Extracting test sequences from a Markov software usage model by ACO
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Event-based input validation using design-by-contract patterns
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Protocol-Based Testing of Firewalls
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Automated GUI performance testing
Software Quality Control
Coverage-Based, prioritized testing using neural network clustering
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
A model-to-implementation mapping tool for automated model-based GUI testing
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Minimal spanning set for coverage testing of interactive systems
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Model-Based testing through a GUI
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Automated verification and testing of user-interactive undo features in database applications
Software Testing, Verification & Reliability
Modeling, analysis and testing of safety issues: an event-based approach and case study
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Coverage-oriented, prioritized testing: a fuzzy clustering approach and case study
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Human performance regression testing
Proceedings of the 2013 International Conference on Software Engineering
Graphical user interface (GUI) testing: Systematic mapping and repository
Information and Software Technology
Guided GUI testing of android apps with minimal restart and approximate learning
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Using regular grammars for event-based testing
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
GUITAR: an innovative tool for automated testing of GUI-driven software
Automated Software Engineering
UI-design driven model-based testing
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
Based on finite-state automata (FSA) and equivalent regular expressions, the paper introduces a holistic view of fault modeling that can be carried out as a complementary step to systemmodeling, revealing much rationalization potential.Appropriate formal notions will be sed to introduce efficient algorithms to systematically generate and select test cases.The completeness of the test can be determined exploiting the link coverage of the state transition diagram of the FSA that models both the desired and undesired behavior of the system under test; this enables a precise scalability of the test and analysis process, leading to a better cost-effectiveness. The elements of the approach will be narrated by realistic examples which will be used also to validate the approach.