TY - JOUR T1 - A framework for the competitive evaluation of model inference techniques JO - MIIT 2010 - Proceedings of the 1st International Workshop on Model Inference In Testing, Held in Conjunction with ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2010 PY - 2010/01/01 AU - Walkinshaw N AU - Bogdanov K AU - Damas C AU - Lambeau B AU - Dupont P ED - DO - DOI: 10.1145/1868044.1868045 SP - 1 EP - 9 Y2 - 2025/03/03 ER -