126 search results - page 13 / 26 » Specifying and Generating Test Cases Using Observer Automata |
107
click to vote
SSS
2010
Springer
14 years 10 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
117
Voted
OPODIS
2010
14 years 10 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
ICECCS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents an approach for generating test data for unit-level, and possibly integration-level, testing based on sampling over intervals of the input probability distribu...
113
Voted
FORTE
1996
15 years 1 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
96
Voted
ENTCS
2008
15 years 13 days ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...