Bernhard Steffen, Johannes Neubauer. Simplified Validation of Emergent Systems through Automata Learning-Based Testing. In James L. Rash, Christopher Rouff, editors, 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011. pages 84-91, IEEE Computer Society, 2011. [doi]
Abstract is missing.