481 search results - page 47 / 97 » Differential symbolic execution |
106
Voted
IFM
2009
Springer
15 years 7 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
105
click to vote
ISER
2004
Springer
15 years 6 months ago
2004
Springer
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...
139
click to vote
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
92
Voted
MCU
2004
15 years 1 months ago
2004
Abstract. This paper provides a framework enabling to define and determine the complexity of various universal programs U for various machines. The approach consists of first defin...
135
click to vote
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...