1034 search results - page 100 / 207 » Cooperative work in software testing |
109
click to vote
ISSTA
2012
ACM
13 years 16 days ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
100
click to vote
ISSRE
2000
IEEE
15 years 2 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
ICSE
2008
IEEE-ACM
15 years 11 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...
ACL2
2006
ACM
15 years 4 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
138
click to vote
SOSP
2009
ACM
15 years 7 months ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...