28 search results - page 1 / 6 » Automatic Interoperability Test Case Generation Based on For... |
FMICS
2007
Springer
13 years 11 months ago
2007
Springer
HASE
2007
IEEE
13 years 8 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
AMAI
2004
Springer
13 years 10 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
TASE
2009
IEEE
13 years 11 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
ICST
2009
IEEE
13 years 2 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...