Mutation-Based Test Generation for PLC Embedded Software Using Model Checking

Eduard Paul Enoiu,Daniel Sundmark,Adnan Causevic,R. Feldt,P. Pettersson
DOI: https://doi.org/10.1007/978-3-319-47443-4_10
2016-10-17
Abstract:
What problem does this paper attempt to address?