Klaus Hörmaier

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Require, test, and trace IT.
Int. J. Softw. Tools Technol. Transf., 2017

2014
Debugging with Timed Automata Mutations.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Integration of Requirements Engineering and Test-Case Generation via OSLC.
Proceedings of the 2014 14th International Conference on Quality Software, 2014


  Loading...