Sciweavers

Share
ICFEM
2009
Springer

An Empirical Study of Structural Constraint Solving Techniques

11 years 3 months ago
An Empirical Study of Structural Constraint Solving Techniques
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recovery. Since enumerating all possible object graphs is prohibitively expensive, researchers have proposed a number of techniques for reducing the number of potential object graphs to consider as candidate solutions. These techniques analyze the structural constraints to prune from search object graphs that cannot satisfy the constraints. Although, analytical and empirical evaluations of individual techniques have been done, comparative studies of different kinds of techniques are rare in the literature. We performed an experiment to evaluate the relative strengths and weaknesses of some key structural constraint solving techniques. The experiment considered four techniques using: a model checker, a SAT solver, a symbolic execution engine, and a specialized solver. It focussed on their relative abilities in expre...
Junaid Haroon Siddiqui, Sarfraz Khurshid
Added 25 Jul 2010
Updated 25 Jul 2010
Type Conference
Year 2009
Where ICFEM
Authors Junaid Haroon Siddiqui, Sarfraz Khurshid
Comments (0)
books