Leveraging existing instrumentation to automatically infer invariant-constrained models - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Combined static and dynamic automated test generationSai Zhang, David Saff, Yingyi Bu, Michael D. Ernst. ISSTA 2011: 353-363 [doi]

runs on WebDSL