1598 search results - page 35 / 320 » Integrating Component Tests to System Tests |
SFP
2003
13 years 11 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
PTS
1998
13 years 11 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
SPIN
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
DSN
2005
IEEE
14 years 3 months ago
2005
IEEE
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...
ICMLA
2008
13 years 11 months ago
2008
Though the TNM (Tumor, Lymph Node, Metastasis) is a widely used staging system for predicting the outcome of cancer patients, it is limited in prediction mainly because it does no...