Property-Driven Benchmark Generation. - Bernhard Steffen; Malte Isberner; Stefan Naujokat; Tiziana Margaria; Maren Geske (SPIN, 2013)

Analyzing program behavior through active automata learning. - Oliver Bauer; Maren Geske; Malte Isberner (Int. J. Softw. Tools Technol. Transf., 2014)

Property-driven benchmark generation: synthesizing programs of realistic structure. - Bernhard Steffen; Malte Isberner; Stefan Naujokat; Tiziana Margaria; Maren Geske (Int. J. Softw. Tools Technol. Transf., 2014)

Rigorous Examination of Reactive Systems: The RERS Challenge 2015. - Maren Geske; Malte Isberner; Bernhard Steffen (RV, 2015)

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. - Maren Geske; Marc Jasper; Bernhard Steffen; Falk Howar; Markus Schordan; Jaco van de Pol (ISoLA (2), 2016)