×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [symbolic constraints]
Automating Software Testing Using Program Analysis -Patrice Godefroid, Peli de Halleux, Aditya V. Nori, Sriram K. Rajamani,Wolfram Schulte, and Nikolai
220 views
Database State Generation via Dynamic Symbolic Execution for Coverage Criteria
16 views
Database State Generation via Dynamic Symbolic Execution for Coverage Criteria
25 views