Klaus Hörmaier

According to our database, Klaus Hörmaier authored at least 3 papers between 2014 and 2017.

Collaborative distances:

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

2017

Require, test, and trace IT.

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran

Int. J. Softw. Tools Technol. Transf., 2017

2014

Debugging with Timed Automata Mutations.

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber

Proceedings of the Computer Safety, Reliability, and Security, 2014

Integration of Requirements Engineering and Test-Case Generation via OSLC.

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran

Proceedings of the 2014 14th International Conference on Quality Software, 2014