Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Modern heuristic techniques for combinatorial problems
Modern heuristic techniques for combinatorial problems
An experimental evaluation of data flow and mutation testing
Software—Practice & Experience
All-uses vs mutation testing: an experimental comparison of effectiveness
Journal of Systems and Software
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Automated program flaw finding using simulated annealing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Software fault injection: inoculating programs against errors
Software fault injection: inoculating programs against errors
Automated test-data generation for exception conditions
Software—Practice & Experience
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
An Automated Framework for Structural Test-Data Generation
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
Testing the Results of Static Worst-Case Execution-Time Analysis
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Predicate expression cost functions to guide evolutionary search for test data
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
The state problem for evolutionary testing
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
The state problem for test generation in Simulink
Proceedings of the 8th annual conference on Genetic and evolutionary computation
Automated Test Data Generation using Search Based Software Engineering
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Automatic mutation test input data generation via ant colony
Proceedings of the 9th annual conference on Genetic and evolutionary computation
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
The Effectiveness of T-Way Test Data Generation
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Information and Software Technology
Comparing algorithms for search-based test data generation of matlab® simulink® models
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Transition coverage testing for simulink/stateflow models using messy genetic algorithms
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Science of Computer Programming
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
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
| Hi-index | 0.00 |
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that mutation testing is highly effective. This paper describes how search-based automatic test-data generation methods can be used to find mutation adequate test-sets for Matlab/Simulink models.