@INPROCEEDINGS{enoiu_ICST_16, author = {Eduard Paul Enoiu and Adnan Causevic and Daniel Sundmark and Paul Pettersson}, title = {A Controlled Experiment in Testing of Safety-Critical Embedded Software}, booktitle = {2016 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016}, year = {2016}, address = {}, month = {}, pages = {1--11} }