308 search results - page 1 / 62 » Symbolic execution of data paths |
GLVLSI
1995
IEEE
13 years 8 months ago
1995
IEEE
ISSTA
2010
ACM
13 years 7 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
ECRTS
2002
IEEE
13 years 10 months ago
2002
IEEE
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...