438 search results - page 86 / 88 » Bugs in the programs |
119
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
124
click to vote
ISCA
2012
IEEE
13 years 2 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
103
click to vote
DSN
2005
IEEE
15 years 5 months ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...
105
Voted
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
SP
2003
IEEE
15 years 5 months ago
2003
IEEE
Language run-time systems are often called upon to safely execute mutually distrustful tasks within the same runtime, protecting them from other tasks’ bugs or otherwise hostile...