{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T23:26:47Z","timestamp":1750116407249},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540472377"},{"type":"electronic","value":"9783540472384"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901914_30","type":"book-chapter","created":{"date-parts":[[2006,10,10]],"date-time":"2006-10-10T05:21:43Z","timestamp":1160457703000},"page":"399-414","source":"Crossref","is-referenced-by-count":13,"title":["A Semantic Framework for Test Coverage"],"prefix":"10.1007","author":[{"given":"Laura Brand\u00e1n","family":"Briones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ed","family":"Brinksma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11561163_1","volume-title":"Formal Methods for Components and Objects","author":"T. Ball","year":"2005","unstructured":"Ball, T.: A theory of predicate-complete test coverage and generation. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol.\u00a03657, pp. 1\u201322. Springer, Heidelberg (2005)"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Belinfante, A., Feenstra, J., Vries, R., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Int. Workshop on Testing of Communicating Systems, vol.\u00a012, pp. 179\u2013196 (1999)","DOI":"10.1007\/978-0-387-35567-2_12"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Belinfante, A., Frantzen, L., Schallhart, C.: Tools for test case generation. In: Model-Based Testing of Reactive Systems, pp. 391\u2013438 (2004)","DOI":"10.1007\/11498490_18"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-31848-4_5","volume-title":"Formal Approaches to Software Testing","author":"L. Brand\u00e1n Briones","year":"2005","unstructured":"Brand\u00e1n Briones, L., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 64\u201378. Springer, Heidelberg (2005)"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Brand\u00e1n Briones, L., Brinksma, E., 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)","DOI":"10.1007\/11901914_30"},{"key":"30_CR6","unstructured":"Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Model-based testing of object-oriented reactive systems. Tech. Rep. MSR-TR-2005-59 (2005)"},{"key":"30_CR7","unstructured":"ETSI. Es 201 873-6 v1.1.1 (2003-02). Methods for testing and specification (mts). In: The Testing and Test Control Notation version 3: TTCN-3 Control Interface (TCI). ETSI Standard (2003)"},{"issue":"4","key":"30_CR8","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C. Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms. STTT\u00a07(4), 297\u2013315 (2005)","journal-title":"STTT"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - A survey. Proceedings of the IEEE\u00a084, 1090\u20131126 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"30_CR10","volume-title":"The Art of Software Testing","author":"G. Myers","year":"1979","unstructured":"Myers, G.: The Art of Software Testing. Wiley & Sons, Chichester (1979)"},{"key":"30_CR11","volume-title":"The Art of Software Testing","author":"G. Myers","year":"2004","unstructured":"Myers, G., Sandler, C., Badgett, T., Thomas, T.: The Art of Software Testing. Wiley & Sons, Chichester (2004)"},{"key":"30_CR12","first-page":"55","volume-title":"International Symposium on Software Testing and Analysis","author":"L. Nachmanson","year":"2004","unstructured":"Nachmanson, L., Veanes, M., Schulte, W., Tillmann, N., Grieskamp, W.: Optimal strategies for testing nondeterministic systems. In: International Symposium on Software Testing and Analysis, pp. 55\u201364. ACM Press, New York (2004)"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Nicola, R., Hennessy, M.: Testing equivalences for processes. In: Proceedings ICALP, vol.\u00a0154 (1983)","DOI":"10.1007\/BFb0036936"},{"issue":"3","key":"30_CR14","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF02579369","volume":"5","author":"E. Tardos","year":"1985","unstructured":"Tardos, E.: A strongly polynomial minimum cost circulation algorithm. Combinatorica\u00a05(3), 247\u2013255 (1985)","journal-title":"Combinatorica"},{"issue":"3","key":"30_CR15","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software-Concepts and Tools"},{"key":"30_CR16","unstructured":"Tretmans, J., Brinksma, E.: TorX: Automated model-based testing. In: First European Conference on Model-Driven Software Engineering (2003)"},{"issue":"5","key":"30_CR17","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0140-3664(92)90092-S","volume":"15","author":"H. Ural","year":"1992","unstructured":"Ural, H.: Formal methods for test sequence generation. Computer Communications Journal\u00a015(5), 311\u2013325 (1992)","journal-title":"Computer Communications Journal"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901914_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:56:14Z","timestamp":1605642974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901914_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540472377","9783540472384"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11901914_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}