It's
Csallner, C., Tillmann, N., and Smaragdakis, Y. 2008. DySy: dynamic symbolic execution for invariant inference. In Proceedings of the 30th international Conference on Software Engineering (Leipzig, Germany, May 10 - 18, 2008). ICSE '08. ACM, New York, NY, 281-290. DOI= http://doi.acm.org/10.1145/1368088.1368127
The background paper on symbolic execution is
King, J. C. 1976. Symbolic execution and program testing. Commun. ACM 19, 7 (Jul. 1976), 385-394. DOI= http://doi.acm.org/10.1145/360248.360252
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment