Stateful testing: Finding more errors in code and contracts - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei 0001, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer. Stateful testing: Finding more errors in code and contracts. In Perry Alexander, Corina S. Pasareanu, John G. Hosking, editors, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011. pages 440-443, IEEE, 2011. [doi]

The following publications are possibly variants of this publication:

EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming ErrorsPhilipp Bouillon, Jens Krinke, Nils Meyer, Friedrich Steimann. xpu 2007: 101-104 [doi]

Doing More with Contracts: Towards Automatic Tests and ProofsBertrand Meyer. rise 2006: 1 [doi]

runs on WebDSL