A Aralex Aachen research explorer

November 21, 2014 article Open access

Automated test generation using model checking: an industrial evaluation

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-014-0355-9 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 66

Model-based test case generation and prioritization: a systematic literature review
2021 Software & Systems Modeling review Computer Science Software Testing and Debugging Techniques

31

citations

1 result

References 0