Timotej Kapus, Frank Busse, Cristian Cadar. Pending Constraints in Symbolic Execution for Better Exploration and Seeding. In 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020. pages 115-126, IEEE, 2020. [doi]
No reviews for this publication, yet.