74 search results - page 7 / 15 » Using Metamorphic Testing to Improve Dynamic Symbolic Execut... |
175
click to vote
PLDI
2009
ACM
16 years 18 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
176
Voted
SP
2010
IEEE
15 years 9 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
158
Voted
CGO
2007
IEEE
16 years 4 days ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...
153
Voted
ICSE
2009
IEEE-ACM
16 years 17 days ago
2009
IEEE-ACM
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
173
Voted
SC
1990
ACM
15 years 9 months ago
1990
ACM
Important insights into program operation can be gained by observing dynamic execution behavior. Unfortunately, many high-performance machines provide execution profile summaries ...