16725 search results - page 335 / 3345 » Engineering Software Correctness |
144
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
188
click to vote
QSIC
2009
IEEE
16 years 1 months ago
2009
IEEE
The presence of code and design smells can have a severe impact on the quality of a program. Consequently, their detection and correction have drawn the attention of both research...
173
click to vote
ESEM
2009
ACM
16 years 1 months ago
2009
ACM
Usability testing activities have numerous benefits in theory, yet they are often overlooked or disregarded in practice. A testing paradigm which yields objective, quantitative re...
168
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
Inheritance is an important mechanism when developing object-oriented programs with class-based programming languages: it enables subtyping, polymorphism, and code reuse. Inherita...
162
click to vote
B
2007
Springer
16 years 26 days ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...