Harald Brandl

According to our database, Harald Brandl authored at least 14 papers between 2008 and 2015.

Collaborative distances:

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

2015

Killing strategies for model-based mutation testing.

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran

Softw. Test. Verification Reliab., 2015

MoMut: : UML Model-Based Mutation Testing for UML.

Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

Model Dependent Test Coverage Variabilities.

Christian Schwarzl, Harald Brandl

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2011

Towards Fault-based Generation of Test Cases for Dependable Embedded Software.

Wolfgang Herzner, Rupert Schlick, Harald Brandl, Johannes Wiessalla

Softwaretechnik-Trends, 2011

UML in action: a two-layered interpretation for testing.

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn

ACM SIGSOFT Softw. Eng. Notes, 2011

Efficient Mutation Killers in Action.

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems.

Wolfgang Herzner, Rupert Schlick, Werner Schütz, Harald Brandl, Willibald Krenn

Elektrotech. Informationstechnik, 2010

Automated Conformance Verification of Hybrid Systems.

Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig

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

2009

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models.

Bernhard K. Aichernig, Harald Brandl, Franz Wotawa

Proceedings of Fifth Workshop on Model Based Testing, 2009

Qualitative Action Systems.

Bernhard K. Aichernig, Harald Brandl, Willibald Krenn

Proceedings of the Formal Methods and Software Engineering, 2009

Model-Based Mutation Testing of Hybrid Systems.

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Coverage-based Testing Using Qualitative Reasoning Models.

Harald Brandl, Gordon Fraser, Franz Wotawa

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

Test Case Generation from QR Models.

Harald Brandl, Franz Wotawa

Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

QR-Model Based Testing.

Harald Brandl, Gordon Fraser, Franz Wotawa

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008