Hannes Roth

Identifiers

• name variant Hannes Roth 0.60 · backfill

Papers (1)

1. Stateful Testing: Finding More Errors in Code and Contracts cs.SE · 2011 · author #2

Mentions

• 1108.1068 #2 · backfill · confidence 0.70 Hannes Roth

Frequent Coauthors

• Alexander Horton 1 shared papers
• Bertrand Meyer 1 shared papers
• Carlo A. Furia 1 shared papers
• Martin Nordio 1 shared papers
• Michael Steindorfer 1 shared papers
• Yi Wei 1 shared papers
• Yu Pei 1 shared papers