Combinational and sequential equivalence checking
Logic Synthesis and Verification
Testing of Digital Systems
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Interactive Fault Localization Techniques in a Spreadsheet Environment
IEEE Transactions on Software Engineering
A theory of mutations with applications to vacuity, coverage, and fault tolerance
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Automatic Test Generation for Coverage Analysis Using CBMC
Computer Aided Systems Theory - EUROCAST 2009
Masking boundary value coverage: effectiveness and efficiency
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Mutation-based test case generation for simulink models
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
An Analysis and Survey of the Development of Mutation Testing
IEEE Transactions on Software Engineering
Tightening test coverage metrics: a case study in equivalence checking using k-induction
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Using mutation analysis for a model-clone detector comparison framework
Proceedings of the 2013 International Conference on Software Engineering
Analysis and testing of matlab simulink models: a systematic mapping study
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Verification coverage of embedded multicore applications
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Incremental language inclusion checking for networks of timed automata
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
Hi-index | 0.00 |
Mutation testing suffers from the high computational cost of automated test-vector generation, due to the large number of mutants that can be derived from programs and the cost of generating test-cases in a white-box manner. We propose a novel algorithm for mutation-based test-case generation for Simulink models that combines white-box testing with formal concept analysis. By exploiting similarity measures on mutants, we are able to effectively generate small sets of short test-cases that achieve high coverage on a collection of Simulink models from the automotive domain. Experiments show that our algorithm performs significantly better than random testing or simpler mutation-testing approaches.