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.

Leveraging existing instrumentation to automatically infer invariant-constrained models

Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst. Leveraging existing instrumentation to automatically infer invariant-constrained models. In Tibor Gyimóthy, Andreas Zeller, editors, SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011. pages 267-277, ACM, 2011. [doi]

Authors

Ivan Beschastnikh

This author has not been identified. Look up 'Ivan Beschastnikh' in Google

Yuriy Brun

This author has not been identified. Look up 'Yuriy Brun' in Google

Sigurd Schneider

This author has not been identified. Look up 'Sigurd Schneider' in Google

Michael Sloan

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

Michael D. Ernst

This author has not been identified. Look up 'Michael D. Ernst' in Google
runs on