Automated Validation of Software Models
Proceedings of the 16th IEEE international conference on Automated software engineering
Search-based mutation testing for Simulink models
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Experiences with model and autocode reviews in model-based software development
Proceedings of the 2006 international workshop on Software engineering for automotive systems
The state problem for test generation in Simulink
Proceedings of the 8th annual conference on Genetic and evolutionary computation
Formal Validation of Hierarchical State Machines against Expectations
ASWEC '07 Proceedings of the 2007 Australian Software Engineering Conference
Formal Validation of Hierarchical State Machines against Expectations
ASWEC '07 Proceedings of the 2007 Australian Software Engineering Conference
ISADS '07 Proceedings of the Eighth International Symposium on Autonomous Decentralized Systems
Experience report: the reactis validation tool
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
A search-based framework for automatic testing of MATLAB/Simulink models
Journal of Systems and Software
Clone detection in automotive model-based development
Proceedings of the 30th international conference on Software engineering
Model-Based Testing of Automotive Systems
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
An Instrumentation-Based Approach to Controller Model Validation
Model-Driven Development of Reliable Automotive Services
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Abstract Simulation: A Static Analysis of Simulink Models
ICESS '09 Proceedings of the 2009 International Conference on Embedded Software and Systems
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Validating Automotive Control Software Using Instrumentation-Based Verification
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Integration of formal analysis into a model-based software development process
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Search-based test data generation from stateflow statecharts
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Formal Analysis for Stateflow Diagrams
SSIRI-C '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion
Mutation-based test case generation for simulink models
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Transition coverage testing for simulink/stateflow models using messy genetic algorithms
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Model Based Statistical Testing of Embedded Systems
ICSTW '11 Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops
Extensible and automated model-evaluations with INProVE
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Test-case generation for embedded simulink via formal concept analysis
Proceedings of the 48th Design Automation Conference
Cross-layer analysis, testing and verification of automotive control software
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Formal verification of hybrid systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
A systematic mapping study on the combination of static and dynamic quality assurance techniques
Information and Software Technology
Automated testing of embedded automotive systems from requirement specification models
LATW '11 Proceedings of the 2011 12th Latin American Test Workshop
Systematic mapping studies in software engineering
EASE'08 Proceedings of the 12th international conference on Evaluation and Assessment in Software Engineering
Slicing MATLAB simulink models
Proceedings of the 34th International Conference on Software Engineering
A model-based method for system reliability analysis
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Executing Model Checking Counterexamples in Simulink
TASE '12 Proceedings of the 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering
Efficient coverage of parallel and hierarchical stateflow models for test case generation
Software Testing, Verification & Reliability
An integrated test generation tool for enhanced coverage of simulink/stateflow models
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |
Matlab Simulink is one of the major modeling and simulation tools applied in different embedded systems domain. Quality assurance is an essential, but often highly effort-consuming part of software development. A lot of different quality assurance techniques exist to ensure high quality, but these analysis and testing techniques are often applied in isolation. Therefore, we are interested in synergy effects when applying them in combination. Consequently, we performed a systematic mapping study to identify the current state of the art regarding such quality assurance techniques and existing combinations. Our main result is a classification of existing quality assurance techniques applied on Matlab Simulink models, and an overview of existing tool support and the validity of the approaches.