%0 Conference Paper %1 conf/pts/EnoiuSCFP16 %A Enoiu, Eduard Paul %A Sundmark, Daniel %A Causevic, Adnan %A Feldt, Robert %A Pettersson, Paul %B ICTSS %D 2016 %E Wotawa, Franz %E Nica, Mihai %E Kushik, Natalia %K dblp %P 155-171 %T Mutation-Based Test Generation for PLC Embedded Software Using Model Checking. %U http://dblp.uni-trier.de/db/conf/pts/ictss2016.html#EnoiuSCFP16 %V 9976 %@ 978-3-319-47442-7

@inproceedings{conf/pts/EnoiuSCFP16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Enoiu, Eduard Paul and Sundmark, Daniel and Causevic, Adnan and Feldt, Robert and Pettersson, Paul}, biburl = {https://www.bibsonomy.org/bibtex/21d357ca31e3ed213efe79eb4b47ccc5d/dblp}, booktitle = {ICTSS}, crossref = {conf/pts/2016}, editor = {Wotawa, Franz and Nica, Mihai and Kushik, Natalia}, ee = {https://doi.org/10.1007/978-3-319-47443-4_10}, interhash = {345ee04f687e3ec06dceecd68b15a7fc}, intrahash = {1d357ca31e3ed213efe79eb4b47ccc5d}, isbn = {978-3-319-47442-7}, keywords = {dblp}, pages = {155-171}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:05:28.000+0200}, title = {Mutation-Based Test Generation for PLC Embedded Software Using Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/pts/ictss2016.html#EnoiuSCFP16}, volume = 9976, year = 2016 }