36 search results - page 3 / 8 » pts 2007 |
PTS
2004
13 years 10 months ago
2004
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...
PTS
2004
13 years 10 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
PTS
2003
13 years 10 months ago
2003
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
PTS
2003
13 years 10 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
PTS
2000
13 years 10 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...