Neil Walkinshaw, Bernard Lambeau, Christophe Damas, Kirill Bogdanov, Pierre Dupont. STAMINA: a competition to encourage the development and assessment of software model inference techniques. Empirical Software Engineering, 18(4):791-824, 2013. [doi]
Abstract is missing.