Pending Constraints in Symbolic Execution for Better Exploration and Seeding - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Timotej Kapus' in GoogleThis author has not been identified. Look up 'Frank Busse' in GoogleThis author has not been identified. Look up 'Cristian Cadar' in Google

runs on WebDSL