56 search results - page 12 / 12 » Boolean Constraint Solving Using clp(FD) |
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...