481 search results - page 28 / 97 » Differential symbolic execution |
146
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
136
click to vote
LFP
1994
15 years 7 months ago
1994
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
192
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
188
click to vote
MASCOTS
2010
15 years 7 months ago
2010
Execution and communication traces are central to performance modeling and analysis. Since the traces can be very long, meaningful compression and extraction of representative beha...
181
click to vote
ENTCS
2008
15 years 6 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...