Stateful testing: Finding more errors in code and contracts. - Yi Wei 001; Hannes Roth; Carlo A. Furia; Yu Pei 001; Alexander Horton; Michael Steindorfer; Martin Nordio; Bertrand Meyer 001 (ASE, 2011)