![](/img/cover-not-exists.png)
[ACM Press the First International Workshop - Trento, Italy (2010.07.13-2010.07.13)] Proceedings of the First International Workshop on Model Inference In Testing - MIIT '10 - Angluin style finite state machine inference with non-optimal counterexamples
Irfan, Muhammad Naeem, Oriat, Catherine, Groz, RolandYear:
2010
Language:
english
DOI:
10.1145/1868044.1868046
File:
PDF, 1.01 MB
english, 2010