Alexander Horton

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
Stateful Testing: Finding More Errors in Code and Contracts CoRR (2011)
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
Stateful testing: Finding more errors in code and contracts. ASE (2011)