6079 search results - page 882 / 1216 » Aspect-Oriented Process Engineering |
165
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
304
click to vote
AADEBUG
2005
Springer
16 years 7 days ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
218
click to vote
AADEBUG
2005
Springer
16 years 7 days ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...
161
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
203
click to vote
CIKM
2005
Springer
16 years 6 days ago
2005
Springer
Information retrieval systems (e.g., web search engines) are critical for overcoming information overload. A major deficiency of existing retrieval systems is that they generally...