@inproceedings{inproceedingse7a8768c,
title   = {Structural and mutation testing for sdl specifications: a case},
author = {Sugeta, Tatiana and Maldonado, José Carlos and Wong, W Eric},
year = {2005},
publisher = {IEEE},
booktitle   = {IEEE Latin-American Test Workshop}
}