336 search results - page 33 / 68 » Memories of bug fixes |
120
Voted
CAV
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
100
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
84
Voted
FASE
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes the design and implementation of a tool for C programs that provides run-time checks based on type information. The tool instruments a program to monitor the t...
102
Voted
ASWEC
2004
IEEE
15 years 4 months ago
2004
IEEE
Object-oriented programs, when executed, produce a complex webs of objects and references between them, generally referred to as object graphs. These object graphs are difficult t...
93
Voted
USENIX
1996
15 years 1 months ago
1996
lmbench is a micro-benchmark suite designed to focus attention on the basic building blocks of many common system applications, such as databases, simulations, software developmen...