Login / Signup
Hannes Roth
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)