15 search results - page 1 / 3 » CP-Miner: A Tool for Finding Copy-paste and Related Bugs in ... |
OSDI
2004
ACM
14 years 5 months ago
2004
ACM
Copy-pasted code is very common in large software because programmers prefer reusing code via copy-paste in order to reduce programming effort. Recent studies show that copy-paste...
HOTOS
2007
IEEE
13 years 8 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
OSDI
2008
ACM
14 years 5 months ago
2008
ACM
Concurrency is pervasive in large systems. Unexpected interference among threads often results in "Heisenbugs" that are extremely difficult to reproduce and eliminate. W...
ICSE
2009
IEEE-ACM
14 years 5 months ago
2009
IEEE-ACM
Innovations from multiple directions have been proposed to improve software reliability. Unfortunately, many of the innovations are not fully exploited by programmers. To bridge t...
VSTTE
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...