4079 search results - page 649 / 816 » Differential Testing for Software |
132
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
134
Voted
CGO
2003
IEEE
15 years 9 months ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...
138
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
Design patterns are micro architectures that have proved to be reliable, easy-to implement and robust. There is a need in science and industry for recognizing these patterns. We p...
140
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
159
Voted
IUI
2003
ACM
15 years 9 months ago
2003
ACM
The experience of a trusted group of colleagues can help users improve the quality and focus of their browsing and searching activities. How could a system provide such help, when...