Concepedia

Harald Brandl

HB

6

Publications

215

Citations

6

H-Index

2009

Active since

Affiliations

Graz University of Technology(Current)

Anstalt für Verbrennungskraftmaschinen List (Austria)

Maxeler Technologies (United Kingdom)

Austrian Institute of Technology

Harald Brandl is an author at Graz University of Technology specializing in formal verification, formal methods, and systems engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware TestingFormal VerificationSystems EngineeringSoftware AnalysisSoftware EngineeringSoftware DesignProgram Analysis

Publications per year

2009–2015

6

Publications

6

Killing strategies for model‐based mutation testing

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl et al. · Software Testing Verification and Reliability · 2014 · 68 citations · Full text

Engineering, Genetics, Software Systems +21

MoMut::UML Model-Based Mutation Testing for UML

Willibald Krenn, Rupert Schlick, Stefan Tiran et al. · 2015 · 52 citations

Software Maintenance, Engineering, Verification +21

Automated Conformance Verification of Hybrid Systems

Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig · 2010 · 32 citations · Full text

Engineering, Continuous Behavior, Verification +21

Efficient Mutation Killers in Action

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl et al. · 2011 · 25 citations

Engineering, Genetics, Car Alarm System +27

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl et al. · ACM SIGSOFT Software Engineering Notes · 2011 · 22 citations

Engineering, Software Engineering, Action Language +23

Rows per page

1–5 of 6