Klaus Hörmaier

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 2

Top Topics

Software Testing

Fault Localization

Theorem Proving

Requirements Engineering

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
Require, test, and trace IT. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
Require, Test and Trace IT. FMICS (2015)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber
Debugging with Timed Automata Mutations. SAFECOMP (2014)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran
Integration of Requirements Engineering and Test-Case Generation via OSLC. QSIC (2014)