External Links

Cite Key

Statistics

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

PDF

Tags

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.

Exploiting the synergy between automated-test-generation and programming-by-contract

Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann. Exploiting the synergy between automated-test-generation and programming-by-contract. In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume. pages 401-402, IEEE, 2009. [doi]

Authors

Michael Barnett

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

Manuel Fähndrich

This author has not been identified. Look up 'Manuel Fähndrich' in Google

Peli de Halleux

This author has not been identified. Look up 'Peli de Halleux' in Google

Francesco Logozzo

This author has not been identified. Look up 'Francesco Logozzo' in Google

Nikolai Tillmann

This author has not been identified. Look up 'Nikolai Tillmann' in Google
runs on