@INPROCEEDINGS{WeiETAL11, author = {Yi Wei and Hannes Roth and Carlo A. Furia and Yu Pei and Alexander Horton and Michael Steindorfer and Martin Nordio and Bertrand Meyer}, title = {Stateful Testing: Finding More Errors in Code and Contracts}, booktitle = {26th IEEE/ACM International Conference on Automated Software Engineering (ASE)}, year = {2011}, publisher = {IEEE}, urltopdf = {http://se.inf.ethz.ch/people/nordio/papers/stateful_testing11.pdf} }