1489 search results - page 68 / 298 » The First Bug Report |
165
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
Cyber attacks against networked computers have become relentless in recent years. The most common attack method is to exploit memory corruption vulnerabilities such as buffer ove...
127
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
138
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
151
click to vote
SIGADA
2001
Springer
15 years 8 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
130
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Most current software systems contain undocumented high-level ideas implemented across multiple files and modules. When developers perform program maintenance tasks, they often wa...