Anzu: A Tool for Property Synthesis. - Barbara Jobstmann; Stefan J. Galler; Martin Weiglhofer; Roderick Bloem (CAV, 2007)

Interactive presentation: Automatic hardware synthesis from specifications: a case study. - Roderick Bloem; Stefan J. Galler; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Martin Weiglhofer (DATE, 2007)

Specify, Compile, Run: Hardware from PSL. - Roderick Bloem; Stefan J. Galler; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Martin Weiglhofer (COCV@ETAPS, 2007)

Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots. - Harald Altinger; Stefan J. Galler; Stephan Mühlbacher-Karrer; Gerald Steinbauer; Franz Wotawa; Hubert Zangl (RoboCup, 2009)

Automatically extracting mock object behavior from Design by Contract™ specification for test data generation. - Stefan J. Galler; Andreas Maller; Franz Wotawa (AST, 2010)

Synthesize It: From Design by Contract to Meaningful Test Input Data. - Stefan J. Galler; Martin Weiglhofer; Franz Wotawa (SEFM, 2010)

The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking. - Stefan J. Galler; Thomas Quaritsch; Martin Weiglhofer; Franz Wotawa (QSIC, 2011)

Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java. - Stefan J. Galler; Bernhard K. Aichernig (Int. J. Softw. Tools Technol. Transf., 2014)