Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael J. Steindorfer, Martín Nordio, Bertrand Meyer
Stateful testing: Finding more errors in code and contracts
ASE, 2011.
@inproceedings{ASE-2011-WeiRFPHSNM,
author = "Yi Wei and Hannes Roth and Carlo A. Furia and Yu Pei and Alexander Horton and Michael J. Steindorfer and Martín Nordio and Bertrand Meyer",
booktitle = "{Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2011.6100094",
isbn = "978-1-4577-1638-6",
pages = "440--443",
publisher = "{IEEE}",
title = "{Stateful testing: Finding more errors in code and contracts}",
year = 2011,
}