Harald Brandl

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 2

Top Topics

Unified Modeling Language

Mutation Testing

Top Venues

Softw. Test. Verification Reliab.

Publications

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran
Killing strategies for model-based mutation testing. Softw. Test. Verification Reliab. 25 (8) (2015)
Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl
MoMut: : UML Model-Based Mutation Testing for UML. ICST (2015)
Christian Schwarzl, Harald Brandl
Model Dependent Test Coverage Variabilities. ICST (2014)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
UML in action: a two-layered interpretation for testing. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
Efficient Mutation Killers in Action. ICST (2011)
Wolfgang Herzner, Rupert Schlick, Harald Brandl, Johannes Wiessalla
Towards Fault-based Generation of Test Cases for Dependable Embedded Software. Softwaretechnik-Trends 31 (3) (2011)
Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig
Automated Conformance Verification of Hybrid Systems. QSIC (2010)
Wolfgang Herzner, Rupert Schlick, W. Schütz, Harald Brandl, Willibald Krenn
Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems. Elektrotech. Informationstechnik 127 (6) (2010)
Bernhard K. Aichernig, Harald Brandl, Willibald Krenn
Qualitative Action Systems. ICFEM (2009)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
Model-Based Mutation Testing of Hybrid Systems. FMCO (2009)
Bernhard K. Aichernig, Harald Brandl, Franz Wotawa
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. Electron. Notes Theor. Comput. Sci. 253 (2) (2009)
Harald Brandl, Gordon Fraser, Franz Wotawa
QR-Model Based Testing. AST (2008)
Harald Brandl, Gordon Fraser, Franz Wotawa
Coverage-based Testing Using Qualitative Reasoning Models. SEKE (2008)
Harald Brandl, Franz Wotawa
Test Case Generation from QR Models. IEA/AIE (2008)