@misc{misc37c952fc,
title   = {Generating checking sequences for user defined fault models},
author = {Petrenko, Alexandre and Simão, Adenilso da Silva},
year = {2017},
doi = {10.1007/978-3-319-67549-7_20},
publisher = {Springer},
booktitle   = {IFIP International Conference on Testing Software and Systems - IFIP-ICTSS}
}