Hannes Roth

According to our database, Hannes Roth authored at least 1 paper in 2011.

Collaborative distances:

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

2011

Stateful testing: Finding more errors in code and contracts.

Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011