Adenilso da Silva Simão, Alexandre Petrenko. Checking Sequence Generation Using State Distinguishing Subsequences. In Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings. pages 48-56, IEEE Computer Society, 2009. [doi]
Abstract is missing.