RGSE: a regular property guided symbolic executor for Java

Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong. RGSE: a regular property guided symbolic executor for Java. In Eric Bodden, Wilhelm Schäfer, Arie van Deursen, Andrea Zisman, editors, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017. pages 954-958, ACM, 2017. [doi]

Abstract

Abstract is missing.