712 search results - page 63 / 143 » Software debugging, testing, and verification |
DAC
2010
ACM
14 years 1 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
ICSE
2010
IEEE-ACM
14 years 3 months ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
IWPC
2002
IEEE
14 years 3 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
SAC
2009
ACM
14 years 5 months ago
2009
ACM
Wireless sensors are very small computers, and understanding the timing and behavior of software written for them is crucial to ensuring that they perform correctly. This paper ou...
SOFTVIS
2010
ACM
13 years 10 months ago
2010
ACM
Object oriented software development is designed to be modular, with code reuse being very common. When bugs are introduced, they can manifest themselves in one or more sections o...