Stateful testing: Finding more errors in code and contracts

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.