Validating Converted Java Code via Symbolic Execution

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]

Abstract

Abstract is missing.