Sciweavers

377 search results - page 2 / 76
» Application of heuristic methods for conformance test select...
Sort
View
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
13 years 9 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
13 years 11 months ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
ENTCS
2008
101views more  ENTCS 2008»
13 years 5 months ago
Improving Fault-based Conformance Testing
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...
Bernhard K. Aichernig, Martin Weiglhofer, Franz Wo...
FORMATS
2009
Springer
13 years 12 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
AAAI
1997
13 years 6 months ago
Applications of Rule-Base Coverage Measures to Expert System Evaluation
Often a rule-based system is tested by checking its performance on a number of test cases with known solutions, modifying the system until it gives the correct results for all or ...
Valerie Barr