FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.
Kiran LakhotiaNikolai TillmannMark HarmanJonathan de HalleuxPublished in: ICTSS (2010)
Keyphrases
- floating point
- constraint solving
- symbolic execution
- constraint solver
- test data generation
- fixed point
- constraint propagation
- search algorithm
- constraint satisfaction problems
- search space
- constraint programming
- instruction set
- objective function
- test cases
- pattern matching
- constraint satisfaction
- artificial intelligence
- search strategies
- metaheuristic