41 search results - page 1 / 9 » Generalizing symbolic execution to library classes |
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...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
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...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...