4079 search results - page 590 / 816 » Differential Testing for Software |
132
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
149
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
117
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...
134
click to vote
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite e...
150
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...