Checking sequence generation using state distinguishing subsequences
Adenilso da Silva Simão A Petrenko; IEEE International Conference on Software Testing, Verification, and Validation Workshops (2. (2009 Denver, Colorado - USA)
Proceedings Washington : IEEE Computer Society, 2009Washington, DC IEEE Computer Science 2009
Acesso online. A biblioteca também possui exemplares impressos.