Harry M. Sneed, Chris Verhoef. Validating Converted Java Code via Symbolic Execution. In Dietmar Winkler, Stefan Biffl, Johannes Bergsmann, editors, Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies - 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings. Volume 269 of Lecture Notes in Business Information Processing, pages 70-83, Springer, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.