TY  - RPRT
TI  - Stateful Testing: Finding More Errors in Code and Contracts
AU  - Yi Wei
AU  - Hannes Roth
AU  - Carlo A. Furia
AU  - Yu Pei
AU  - Alexander Horton
AU  - Michael Steindorfer
AU  - Martin Nordio
AU  - Bertrand Meyer
PY  - 2011
DO  - 10.1109/ase.2011.6100094
UR  - https://arxiv.org/abs/1108.1068
ID  - 1108.1068
ER  -