126 search results - page 4 / 26 » Specifying and Generating Test Cases Using Observer Automata |
CSMR
2003
IEEE
13 years 11 months ago
2003
IEEE
Testing a distributed system is difficult. Good testing depends on both skill and understanding the system under test. We have developed a method to observe the system at the CORB...
JSW
2007
13 years 5 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
SEFM
2003
IEEE
13 years 11 months ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
FORTE
2004
13 years 7 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
EUROMICRO
2007
IEEE
13 years 7 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...