Automated Software Test Data Generation
IEEE Transactions on Software Engineering
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
Event Interactions Graph for Test-case Generation of Concurrent Programs
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
IEEE Transactions on Software Engineering
DART: directed automated random testing
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Evolutionary testing of state-based programs
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Search-based mutation testing for Simulink models
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
The state problem for test generation in Simulink
Proceedings of the 8th annual conference on Genetic and evolutionary computation
The species per path approach to SearchBased test data generation
Proceedings of the 2006 international symposium on Software testing and analysis
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs
The Computer Journal
Heuristics for fault diagnosis when testing from finite state machines: Research Articles
Software Testing, Verification & Reliability
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Automated Test Data Generation using Search Based Software Engineering
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
The impact of input domain reduction on search-based test data generation
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Experience report: the reactis validation tool
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Randoop: feedback-directed random testing for Java
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
Automatic State-Based Test Generation Using Genetic Algorithms
SYNASC '07 Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Search based software testing of object-oriented containers
Information Sciences: an International Journal
Functional Search-based Testing from State Machines
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Search-based Testing using State-based Fitness
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Search-Based Testing of Complex Simulink Models containing Stateflow Diagrams
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Efficient Software Test Case Generation Using Genetic Algorithm Based Graph Theory
ICETET '08 Proceedings of the 2008 First International Conference on Emerging Trends in Engineering and Technology
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Automated test data generation for aspect-oriented programs
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Signal Generation for Search-Based Testing of Continuous Systems
ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
TestFul: using a hybrid evolutionary algorithm for testing stateful systems
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
A Testability Transformation Approach for State-Based Programs
SSBSE '09 Proceedings of the 2009 1st International Symposium on Search Based Software Engineering
A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing
SYNASC '08 Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Comparing algorithms for search-based test data generation of matlab® simulink® models
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)
TAIC-PART '09 Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques
Integrating Model-Based Testing with Evolutionary Functional Testing
ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models
ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
It Does Matter How You Normalise the Branch Distance in Search Based Software Testing
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
Search-based test data generation from stateflow statecharts
Proceedings of the 12th annual conference on Genetic and evolutionary computation
IEEE Transactions 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
Hi-index | 0.00 |
This paper introduces a messy-GA for transition coverage of Simulink/StateFlow models. We introduce a tool that implements our approach and evaluate it on three benchmark embedded system Simulink models. Our messy-GA is able to achieve statistically significantly better coverage when compared to both random search and to a commercial tool for Simulink/StateFlow model Testing.