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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.