15 search results - page 3 / 3 » CP-Miner: A Tool for Finding Copy-paste and Related Bugs in ... |
FASE
2010
Springer
14 years 3 days ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
FM
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
MEDES
2010
ACM
13 years 1 days ago
2010
ACM
This work presents a case of an innovative Brazilian experience of use of free software in public administration as an emergent ecosystem, and the attempt to establish a quality f...
OSDI
2006
ACM
14 years 5 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
USS
2010
13 years 3 months ago
2010
The browser has become the de facto platform for everyday computation. Among the many potential attacks that target or exploit browsers, vulnerabilities in browser extensions have...