Test suite consistency verification

Proceedings of IEEE East-West Design and Test Symposium, EWDTS'08

Volumn , Issue , 2008, Pages 235-239

  Boroday, Sergiy ^a   Petrenko, Alexandre ^a   Ulrich, Andreas ^a,b  

^a Cent de Recherche Informatique de Montreal   (Canada)

^b SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

TEST CASE;

TESTING;

EID: 70549096314     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EWDTS.2008.5580145     Document Type: Conference Paper

References (7)

1. P. Deussen, S. Tobies, "Formal Test Purposes and the Validity of Test Cases", FORTE 2002, pp. 114-129.
2. J. Tretmans, "Test Generation with Inputs, Outputs and Repetitive Quiescence", Software Concepts and Tools, 1996, pp. 103-120.
3. C. Jard, T. Jeron, and P. Morel, "Verification of Test Suites", TestCom 2000, pp. 3-18.
4. K. Naik, B. Sarikaya, "Verification of Protocol Conformance Test Cases Using Reachability Analysis", J. of Systems and Software, 19(1), 1992, pp. 41-57.
5. J. Huo, A. Petrenko, "Covering Transitions of Concurrent Systems through Queues", ISSRE 2005, pp. 335-345.
6. G. Bochmann, D. Desbiens, M. Dubuc, D. Ouimet, and F. Saba, "Test Result Analysis and Validation of Test Verdicts", Protocol Test Systems, 1990.
7. O. Niese, T. Margaria, A. Hagerer, B. Steffen, G. Brune, and H. Ide, "Automated Regression Testing of CTISystems", IEEE European Test Workshop, 2001, pp. 51- 57.