A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Mutation-Based Test-Case Generation with Ecdar
2017
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Model-based testing is a well-known technique for automating the otherwise tedious process of testing. Test cases are automatically created from a formal model, according to some test criterion which determines when the test suite is complete. In model-based mutation testing, the test criterion is defined via faulty models, called mutants, which are used to create test cases that specifically target the modeled faults. To be able to reveal timing related faults, timed automata can be used as
doi:10.1109/icstw.2017.60
dblp:conf/icst/LarsenLNN17
fatcat:fgl5y2w4zbfk7hyixcziypfsbu