{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T03:00:58Z","timestamp":1776999658564,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540426677","type":"print"},{"value":"9783540454410","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_15","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T17:29:50Z","timestamp":1186421390000},"page":"194-208","source":"Crossref","is-referenced-by-count":45,"title":["A UML-Based Approach to System Testing"],"prefix":"10.1007","author":[{"given":"Lionel","family":"Briand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"B. Baudry, Y. Le Traon and J. M. Jezequel, \u201cRobustness and Diagnosability of OO Systems Designed by Contracts,\u201d Proc. 7th International Software Metrics Symposium, London, England, pp. 272\u2013283, 4\u20136 April 2001.","DOI":"10.1109\/METRIC.2001.915535"},{"key":"15_CR2","unstructured":"B. Beizer, Software Testing Techniques, Van Nostrand Reinhold, New York, 2nd Ed., 1990."},{"key":"15_CR3","unstructured":"R. V. Binder, Testing Object-Oriented Systems-Models, Patterns, and Tools, Addison-Wesley, 1999."},{"key":"15_CR4","unstructured":"L. Briand and Y. Labiche, \u201cA UML-Based approach to system testing,\u201d Carleton University, Technical Report SCE-01-01, 2001, http:\/\/www.sce.carleton.ca\/Squall\/Articles\/TR_SCE-01-01.pdf ."},{"key":"15_CR5","unstructured":"B. Bruegge and A. H. Dutoit, Object-Oriented Software Engineering-Conquering Complex and Chalenging Systems, Prentice Hall, 2000."},{"key":"15_CR6","unstructured":"D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. GilChrist, F. Hayes and P. Jeremaes, Object-Oriented Development-The Fusion Method, Prentice Hall Ed., 1994."},{"key":"15_CR7","unstructured":"iContract, http:\/\/www.reliable-systems.com\/"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"J. M. Voas, \u201cObject-Oriented Software Testability,\u201d Proc. International Conference on Achieving Quality in Software, pp. 279\u20132901996.","DOI":"10.1007\/978-0-387-34869-8_23"}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T04:35:19Z","timestamp":1737347719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}