@inproceedings{inproceedings8453f909,
title   = {Checking sequence generation using state distinguishing subsequences},
author = {Simão, Adenilso da Silva and Petrenko, A.},
year = {2009},
publisher = {IEEE Computer Science},
booktitle   = {IEEE International Conference on Software Testing, Verification, and Validation Workshops}
}