Stefan J. Galler

According to our database, Stefan J. Galler authored at least 8 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

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

2011

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

Proceedings of the 11th International Conference on Quality Software, 2011

2010

Synthesize It: From Design by Contract to Meaningful Test Input Data.

Stefan J. Galler, Martin Weiglhofer, Franz Wotawa

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Automatically extracting mock object behavior from Design by Contract™ specification for test data generation.

Stefan J. Galler, Andreas Maller, Franz Wotawa

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009

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

Proceedings of the RoboCup 2009: Robot Soccer World Cup XIII [papers from the 13th annual RoboCup International Symposium, Graz, Austria, June 29, 2009

2007

Specify, Compile, Run: Hardware from PSL.

Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer

Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, 2007

Interactive presentation: Automatic hardware synthesis from specifications: a case study.

Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Anzu: A Tool for Property Synthesis.

Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem

Proceedings of the Computer Aided Verification, 19th International Conference, 2007