TY - JOUR T1 - STAMINA: a competition to encourage the development and assessment of software model inference techniques JO - Empirical Software Engineering PY - 2012/05/25 AU - Walkinshaw N AU - Lambeau B AU - Damas C AU - Dupont P AU - Bogdanov K ED - DO - DOI: 10.1007/s10664-012-9210-3 SP - 1 EP - 34 Y2 - 2024/10/23 ER -