481 search results - page 19 / 97 » Differential symbolic execution |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
The ability to detect and differentiate breakpoints during task execution is critical for enabling defer-to-breakpoint policies within interruption management. In this work, we ex...
RAS
2008
14 years 9 months ago
2008
Even the best laid plans can fail, and robot plans executed in real world domains tend to do so often. The ability of a robot to reliably monitor the execution of plans and detect...
102
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
ROMAN
2007
IEEE
15 years 4 months ago
2007
IEEE
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...