822 search results - page 153 / 165 » Debugging Aspect-Enabled Programs |
117
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...
128
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
123
Voted
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
139
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
127
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...