4079 search results - page 649 / 816 » Differential Testing for Software |
174
click to vote
ACSAC
2003
IEEE
16 years 7 days 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...
192
click to vote
CGO
2003
IEEE
16 years 7 days 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...
191
Voted
ICSM
2003
IEEE
16 years 7 days 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...
192
Voted
KBSE
2003
IEEE
16 years 7 days 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...
205
click to vote
IUI
2003
ACM
16 years 6 days 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...