External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Yi Wei

This author has not been identified. Look up 'Yi Wei' in Google

Hannes Roth

This author has not been identified. Look up 'Hannes Roth' in Google

Carlo A. Furia

Identified as Carlo A. Furia

Yu Pei 0001

This author has not been identified. Look up 'Yu Pei 0001' in Google

Alexander Horton

This author has not been identified. Look up 'Alexander Horton' in Google

Michael Steindorfer

This author has not been identified. Look up 'Michael Steindorfer' in Google

Martin Nordio

This author has not been identified. Look up 'Martin Nordio' in Google

Bertrand Meyer

This author has not been identified. It may be one of the following persons: Look up 'Bertrand Meyer' in Google
runs on