Alexander Horton

Identifiers

• name variant Alexander Horton 0.60 · backfill

Papers (1)

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

Mentions

• 1108.1068 #5 · backfill · confidence 0.70 Alexander Horton

Frequent Coauthors

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