Sahil Verma, Roland H. C. Yap. Benchmarking Symbolic Execution Using Constraint Problems - Initial Results. In 31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019. pages 1-9, IEEE, 2019. [doi]
Abstract is missing.