6348 search results - page 839 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
173
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
170
click to vote
PEPM
2010
ACM
16 years 3 months ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
254
click to vote
MSR
2006
ACM
16 years 22 days ago
2006
ACM
With the advent of open source software repositories the data available for defect prediction in source files increased tremendously. Although traditional statistics turned out t...
204
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
Distributed applications typically interact with a number of heterogeneous and autonomous components that evolve independently. Methodical development of such applications can ben...
183
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...