@inproceedings{inproceedings0da3ec17,
title   = {Mutation testing applied to validate SDL specifications},
author = {Sugeta, Tatiana and Maldonado, José Carlos and Wong, W Eric},
year = {2004},
publisher = {Springer},
booktitle   = {IFIP International Conference, TestCom 2004}
}