Proceedings of the third international conference on Genetic algorithms
Algorithms on strings, trees, and sequences: computer science and computational biology
Algorithms on strings, trees, and sequences: computer science and computational biology
Practical genetic algorithms
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Test Case Prioritization: A Family of Empirical Studies
IEEE Transactions on Software Engineering
Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
IEEE Transactions on Software Engineering
UML Bible
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 02
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
The Current State and Future of Search Based Software Engineering
FOSE '07 2007 Future of Software Engineering
Using component metadata to regression test component-based software: Research Articles
Software Testing, Verification & Reliability
Search Algorithms for Regression Test Case Prioritization
IEEE Transactions on Software Engineering
An Empirical Study of Test Case Filtering Techniques Based on Exercising Information Flows
IEEE Transactions on Software Engineering
Call-Stack Coverage for GUI Test Suite Reduction
IEEE Transactions on Software Engineering
PHALANX: a graph-theoretic framework for test case prioritization
Proceedings of the 2008 ACM symposium on Applied computing
Evolving the Quality of a Model Based Test Suite
ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
Proceedings of the eighteenth international symposium on Software testing and analysis
A Max-Min Multiobjective Technique to Optimize Model Based Test Suite
SNPD '09 Proceedings of the 2009 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing
Regression test suite reduction based on SDL models of system requirements
Journal of Software Maintenance and Evolution: Research and Practice
Adaptive Random Test Case Prioritization
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Using String Distances for Test Case Prioritisation
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Foundations of Software Testing
Foundations of Software Testing
IEEE Transactions on Software Engineering
On the use of a similarity function for test case selection in the context of model-based testing
Software Testing, Verification & Reliability
Test-Suite reduction using genetic algorithm
APPT'05 Proceedings of the 6th international conference on Advanced Parallel Processing Technologies
Reducing the cost of model-based testing through test case diversity
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Proceedings of the 14th international conference on Model driven engineering languages and systems
Achieving scalable model-based testing through test case diversity
ACM Transactions on Software Engineering and Methodology (TOSEM)
Static test case prioritization using topic models
Empirical Software Engineering
Hi-index | 0.00 |
In recent years, Model-Based Testing (MBT) has attracted an increasingly wide interest from industry and academia. MBT allows automatic generation of a large and comprehensive set of test cases from system models (e.g., state machines), which leads to the systematic testing of the system. However, even when using simple test strategies, applying MBT in large industrial systems often leads to generating large sets of test cases that cannot possibly be executed within time and cost constraints. In this situation, test case selection techniques are employed to select a subset from the entire test suite such that the selected subset conforms to available resources while maximizing fault detection. In this paper, we propose a new similarity-based selection technique for state machine-based test case selection, which includes a new similarity function using triggers and guards on transitions of state machines and a genetic algorithm-based selection algorithm. Applying this technique on an industrial case study, we show that our proposed approach is more effective in detecting real faults than existing alternatives. We also assess the overall benefits of model-based test case selection in our case study by comparing the fault detection rate of the selected subset with the maximum possible fault detection rate of the original test suite.