Martin Weiglhofer

According to our database, Martin Weiglhofer authored at least 21 papers between 2007 and 2011.

Collaborative distances:

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

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

Automated Conformance Verification of Hybrid Systems.

Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig

Proceedings of the 10th International Conference on Quality Software, 2010

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.

Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa

Proceedings of the Third International Conference on Software Testing, 2010

2009

Using coverage to automate and improve test purpose based testing.

Martin Weiglhofer, Gordon Fraser, Franz Wotawa

Inf. Softw. Technol., 2009

Fault-Based Conformance Testing in Practice.

Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa

Int. J. Softw. Informatics, 2009

Improving Coverage Based Test Purposes.

Martin Weiglhofer, Franz Wotawa

Proceedings of the Ninth International Conference on Quality Software, 2009

Using Spectrum-Based Fault Localization for Test Case Grouping.

Martin Weiglhofer, Gordon Fraser, Franz Wotawa

Proceedings of the ASE 2009, 2009

Asynchronous Input-Output Conformance Testing.

Martin Weiglhofer, Franz Wotawa

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Improving Fault-based Conformance Testing.

Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa

Proceedings of the Fourth Workshop on Model Based Testing, 2008

Unifying Input Output Conformance.

Martin Weiglhofer, Bernhard K. Aichernig

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

Using Observer Automata to Select Test Cases for Test Purposes.

Gordon Fraser, Martin Weiglhofer, Franz Wotawa

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Coverage Based Testing with Test Purposes.

Gordon Fraser, Martin Weiglhofer, Franz Wotawa

Proceedings of the Eighth International Conference on Quality Software, 2008

A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots.

Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, Franz Wotawa

Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

Random Vs. Scenario-based Vs. Fault-based Testing - An Industrial Evaluation of Formal Black-Box Testing Methods.

Martin Weiglhofer, Franz Wotawa

Proceedings of the ENASE 2008, 2008

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

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.

Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Executing Abstract Test Cases.

Bernhard Peischl, Martin Weiglhofer, Franz Wotawa

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 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

Test purpose generation in an industrial application.

Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007