Acte de conférence, colloque et atelier

Checking Sequence Generation Using State Distinguishing Subsequences

Simao, A. and Petrenko, A. "Checking Sequence Generation Using State Distinguishing Subsequences" in 5th Workshop on Advances in Model Based Testing (A-MOST 2009). Denver, USA
[Résumé]