Stefan J. Galler

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Test Data Generation

Multi Objective

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Stefan J. Galler, Bernhard K. Aichernig
Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Stefan J. Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa
The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking. QSIC (2011)
Stefan J. Galler, Andreas Maller, Franz Wotawa
Automatically extracting mock object behavior from Design by Contract™ specification for test data generation. AST (2010)
Stefan J. Galler, Martin Weiglhofer, Franz Wotawa
Synthesize It: From Design by Contract to Meaningful Test Input Data. SEFM (2010)
Harald Altinger, Stefan J. Galler, Stephan Mühlbacher-Karrer, Gerald Steinbauer, Franz Wotawa, Hubert Zangl
Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots. RoboCup (2009)
Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem
Anzu: A Tool for Property Synthesis. CAV (2007)
Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
Interactive presentation: Automatic hardware synthesis from specifications: a case study. DATE (2007)
Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
Specify, Compile, Run: Hardware from PSL. Electron. Notes Theor. Comput. Sci. 190 (4) (2007)