Conformance testing: architectures and test sequences
Computer Networks and ISDN Systems
Network flows: theory, algorithms, and applications
Network flows: theory, algorithms, and applications
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Automated test oracles for GUIs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
A Test Generation Strategy for Pairwise Testing
IEEE Transactions on Software Engineering
A Method to Automate User Interface Testing Using Variable Finite State Machines
FTCS '97 Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS '97)
ACM '69 Proceedings of the 1969 24th national conference
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Finite-State Testing and Analysis of Graphical User Interfaces
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Using Spanning Sets for Coverage Testing
IEEE Transactions on Software Engineering
Interactive Systems: Design, Specification, and Verification: 10th International Workshop, Dsv-Is 2003, Funchal,Madeira Islands,Portugal,June 11-13 2003: Revised Papers (Lecture Notes in Computer Science, 2844)
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Protocol-Based Testing of Firewalls
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Towards self-testing of component-based software
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
| Hi-index | 0.00 |
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the complementary fault model of the system under test (SUT). Results known from state-based conformance testing and graph theory are used and extended to construct algorithms for minimizing the test sets, considering also structural features of the SUT.