Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt, Paul Pettersson
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking
ICTSS, 2016.
@inproceedings{ICTSS-2016-EnoiuSCFP,
author = "Eduard Paul Enoiu and Daniel Sundmark and Adnan Causevic and Robert Feldt and Paul Pettersson",
booktitle = "{Proceedings of the 28th International Conference on Testing Software and Systems}",
doi = "10.1007/978-3-319-47443-4_10",
isbn = "978-3-319-47442-7",
pages = "155--171",
title = "{Mutation-Based Test Generation for PLC Embedded Software Using Model Checking}",
year = 2016,
}