Readings in model-based diagnosis
Readings in model-based diagnosis
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
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Generating test data from SOFL specifications
Journal of Systems and Software
Exception handling: issues and a proposed notation
Communications of the ACM
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
Hierarchical GUI Test Case Generation Using Automated Planning
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
A Test Generation Strategy for Pairwise Testing
IEEE Transactions on Software Engineering
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Test Generation Driven by User-defined Fault Models
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
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
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
Diagnosis and Fault-Tolerant Control
Diagnosis and Fault-Tolerant Control
Protocol-Based Testing of Firewalls
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Model-based test prioritizing: a comparative soft-computing approach and case studies
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Coverage-Based, prioritized testing using neural network clustering
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Coverage-oriented, prioritized testing: a fuzzy clustering approach and case study
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Efficient and flexible GUI test execution via test merging
Proceedings of the 2013 International Symposium on Software Testing and Analysis
| Hi-index | 0.00 |
This paper introduces a model-based approach for minimization of test sets to validate the interaction of human-computer systems. The novelty of the approach is twofold: (i) Test cases generated and selected holistically cover both the behavioral model and the complementary, fault model of the system under test (SUT). (ii) Methods known from state-based conformance testing and graph theory are extended to construct efficient, heuristic search-based algorithms for minimizing the test sets that are constructed in step (i), considering also structural features. Experience shows that the approach can help to considerably save test costs, up to 60%