Model-based testing for software safety: a systematic mapping study

Guidelines for conducting systematic mapping studies in software engineering: An update

(2015) Kai Petersen et al.   INFORMATION AND SOFTWARE TECHNOLOGY

Constraint-based test generation for automotive operating systems

(2015) Yunja Choi et al.   Software and Systems Modeling

Fail-safe testing of safety-critical systems: a case study and efficiency analysis

(2015) Ahmed Gario et al.   SOFTWARE QUALITY JOURNAL

Rigorous development process of a safety-critical system: from ASM models to Java code

(2015) Paolo Arcaini et al.   International Journal on Software Tools for Technology Transfer

Automated Test Approach Based on All Paths Covered Optimal Algorithm and Sequence Priority Selected Algorithm

(2014) Wei Zheng et al.   IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS

Towards Model-Driven V&V assessment of railway control systems

(2014) Stefano Marrone et al.   International Journal on Software Tools for Technology Transfer

Automated test generation using model checking: an industrial evaluation

(2014) Eduard P. Enoiu et al.   International Journal on Software Tools for Technology Transfer

Generating test case chains for reactive systems

(2014) Peter Schrammel et al.   International Journal on Software Tools for Technology Transfer

Automatic test case generation from Simulink/Stateflow models using model checking

(2013) Swarup Mohalik et al.   SOFTWARE TESTING VERIFICATION & RELIABILITY

Systematic scenario test case generation for nuclear safety systems

(2012) Wan-Hui Tseng et al.   INFORMATION AND SOFTWARE TECHNOLOGY

A taxonomy of model-based testing approaches

(2011) Mark Utting et al.   SOFTWARE TESTING VERIFICATION & RELIABILITY

Identifying relevant studies in software engineering

(2010) He Zhang et al.   INFORMATION AND SOFTWARE TECHNOLOGY

Testing with model checkers: a survey

(2009) Gordon Fraser et al.   SOFTWARE TESTING VERIFICATION & RELIABILITY