238 search results - page 15 / 48 » Constraint Solving and Symbolic Execution |
121
click to vote
SIGGRAPH
1992
ACM
15 years 2 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
101
Voted
ICCS
2007
Springer
15 years 2 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
131
click to vote
PROCEDIA
2011
14 years 1 months ago
2011
We report the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration of symbol occurrenc...
97
Voted
TSE
2011
14 years 5 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
104
click to vote
IJCAI
2001
15 years 8 days ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...