A semantic framework for test coverage

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4218 LNCS, Issue , 2006, Pages 399-414

  Brandán Briones, Laura ^a   Brinksma, E ^a,b   Stoelinga, Mariëlle ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER VIRUSES; METRIC SYSTEM; OPTIMIZATION; SEMANTICS; SYNTACTICS;

BLACK BOX COVERAGE METRICS; SYNTACTIC CHARACTERISTICS; WEIGHTED FAULT MODEL (WFM); WHITE BOX TESTING;

COMPUTER SYSTEMS;

EID: 33845193764     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (17)

1. BALL, T. A theory of predicate-complete test coverage and generation. In Proceedings of FMCO'04 (2004), pp. 1-22.
2. BELINFANTE, A., FEENSTRA, J., VRIES, R., TRETMANS, J., GOGA, N., FEIJS, L., MAUW, S., AND HEERINK, L. Formal test automation: A simple experiment. In Int. Workshop on Testing of Communicating Systems 12 (1999), pp. 179-196.
3. BELINFANTE, A., FRANTZEN, L., AND SCHALLHART, C. Tools for test case generation. In Model-Based Testing of Reactive Systems (2004), pp. 391-438.
4. BRANDÁN BRIONES, L., AND BRINKSMA, E. A test generation framework for quiescent real-time systems. In FATES'04 (2004), pp. 64-78.
5. BRANDÁN BRIONES, L., BRINKSMA, E., AND STOELINGA, M. A semantic framework for test coverage (extended version). Tech. Rep. TR-CTIT-06-24, Centre for Telematics and Information Technology, University of Twente, 2006.
6. CAMPBELL, C., GRIESKAMP, W., NACHMANSON, L., SCHULTE, W., TILLMANN, N., AND VEANES, M. Model-based testing of object-oriented reactive systems. Tech. Rep. MSR-TR-2005-59, 2005.
7. ETSI. Es 201 873-6 v1.1.1 (2003-02). Methods for testing and specification (mts). In The Testing and Test Control Notation version S: TTCN-3 Control Interface (TCI). ETSI Standard (2003).
8. JARD, C., AND JÉRON, T. TGV: theory, principles and algorithms. STTT 7, 4 (2005), 297-315.
9. LEE, D., AND YANNAKAKIS, M. Principles and methods of testing finite state machines - A survey. In Proceedings of the IEEE (1996), vol. 84, pp. 1090-1126.
10. MYERS, G. The Art of Software Testing. Wiley & Sons, 1979.
11. MYERS, G., SANDLER, C., BADGETT, T., AND THOMAS, T. The Art of Software Testing. Wiley & Sons, 2004.
12. NACHMANSON, L., VEANES, M., SCHULTE, W., TILLMANN, N., AND GRIESKAMP, W. Optimal strategies for testing nondeterministic systems. In International Symposium on Software Testing and Analysis (2004), ACM Press, pp. 55-64.
13. NICOLA, R., AND HENNESSY, M. Testing equivalences for processes. In Proceedings ICALP (1983), vol. 154.
14. TARDOS, E. A strongly polynomial minimum cost circulation algorithm. Combinatorica 5, 3 (1985), 247-255.
15. TRETMANS, J. Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools 17, 3 (1996), 103-120.
16. TRETMANS, J., AND BRINKSMA, E. TorX: Automated model-based testing. In First European Conference on Model-Driven Software Engineering (2003).
17. URAL, H. Formal methods for test sequence generation. Computer Communications Journal 15, 5 (1992), 311-325.