Michael Steindorfer

Identifiers

• name variant Michael Steindorfer 0.60 · backfill

Papers (1)

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

Mentions

• 1108.1068 #6 · backfill · confidence 0.70 Michael Steindorfer

Frequent Coauthors

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