Automated Test Case Generation with SMT-Solving and Abstract Interpretation. - Jan Peleska 001; Elena Vorobev; Florian Lapschies (NASA Formal Methods, 2011)

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. - Jan Peleska 001; Artur Honisch; Florian Lapschies; Helge Löding; Hermann Schmid; Peer Smuda; Elena Vorobev; Cornelia Zahlten (ICTSS, 2011)

Model-Based Testing from Controlled Natural Language Requirements. - Gustavo Carvalho; Flávia de Almeida Barros; Florian Lapschies; Uwe Schulze; Jan Peleska 001 (FTSCS, 2013)