238 search results - page 1 / 48 » Constraint Solving and Symbolic Execution |
PTS
2010
13 years 9 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
VSTTE
2005
Springer
14 years 4 months ago
2005
Springer
NFM
2011
13 years 5 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
JAIR
2010
13 years 9 months ago
2010
Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this...