1128 search results - page 128 / 226 » Little Engines of Proof |
116
click to vote
ICSM
2000
IEEE
15 years 5 months ago
2000
IEEE
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, ree...
KBSE
2000
IEEE
15 years 5 months ago
2000
IEEE
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this d...
91
Voted
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
Fuzzing is a well-known black-box approach to the security testing of applications. Fuzzing has many advantages in terms of simplicity and effectiveness over more complex, expensi...
113
Voted
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
Exception handling mechanisms are intended to help developers build robust systems. Although an exception handling mechanism provides a basis for structuring source code dealing w...
116
click to vote
ADAEUROPE
2000
Springer
15 years 5 months ago
2000
Springer
Component-based software development heavily relies on the ability of reusing components from a library with as little effort as possible. Among others, valuable features for reus...