648 search results - page 107 / 130 » Carving differential unit test cases from system test cases |
IGPL
2006
13 years 8 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
JPDC
2000
13 years 8 months ago
2000
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementations of virtual synchrony usually requir...
EKAW
2010
Springer
13 years 6 months ago
2010
Springer
The objectives of this paper are to present, describe, and explain the foundations and the functionalities of a temporal knowledge acquisition and modeling solution workflow, which...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...