{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:08:30Z","timestamp":1761610110517,"version":"build-2065373602"},"reference-count":24,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3893,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1016\/s1571-0661(04)80402-x","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"33-49","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":10,"title":["Validation and automatic test generation on UML models"],"prefix":"10.1016","volume":"66","author":[{"given":"David","family":"Lugato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9line","family":"Bigot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannick","family":"Valot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1998","series-title":"The Unified Modelling Language Reference Manual","author":"Rumbaugh","key":"10.1016\/S1571-0661(04)80402-X_NEWBIB1"},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB2","unstructured":"AIT-WOODDES Project N IST-1999\u201310069, http:\/\/wooddes.intranet.gr\/."},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB3","unstructured":"U. Buy, A. Orso, M. Pezz\u00e8: Automated Testing of Classes, ISSTA'00."},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB4","unstructured":"J. Hartmann, C. Imoberdorf, M. Meisinger: UML-Based Integration Testing, ISSTA'00."},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB5","unstructured":"Objecteering Tool version 5, Softeam Paris, 2001, http:\/\/www.softeam.fr."},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB6","doi-asserted-by":"crossref","unstructured":"S. G\u00e9rard, N. S. Voros, C. Koulamas, Efficient system modeling of complex real-time industry; networks using the ACCORD\/UML methodology, DIPES 2000","DOI":"10.1007\/978-0-387-35409-5_2"},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB7","unstructured":"H. ISO\/TC97\/SC21: Estelle - A Formal Description Technique Based on an Extended State Transition Model, ISO\/TC97\/SC21, IS 9074, 1997."},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB8","unstructured":"D. Lugato, N. Rapin, J.-P. Gallois, Verification and tests generation for SDL industrial specifications with the AGATHA toolset, Proceedings of Workshop on Real-Time Tools, CONCUR'01."},{"year":"1999","series-title":"Model Checking","author":"Clarke","key":"10.1016\/S1571-0661(04)80402-X_NEWBIB9"},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB10","unstructured":"J. -C. Fernandez, C. Jard, T. Jeron, C. Viho, Using on the fly verification techniques for the generation of test suites, CAV'96."},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB11","doi-asserted-by":"crossref","unstructured":"S. Yovine. Kronos: A verification tool for real time systems, Springer International Journal of Software Tools for Technology Transfer, Vol. 1, Nber 1\/2, October 1997.","DOI":"10.1007\/s100090050009"},{"issue":"n\u00b03","key":"10.1016\/S1571-0661(04)80402-X_NEWBIB12","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","article-title":"A system to generate test data and symbolically execute programs","volume":"vol. SE-2","author":"Clarke","year":"1976","journal-title":"IEEE Transactions on software Engineering"},{"issue":"3","key":"10.1016\/S1571-0661(04)80402-X_NEWBIB13","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/356651.356652","article-title":"An approach to program testing","volume":"7","author":"Huang","year":"1975","journal-title":"ACM computing surveys"},{"issue":"7","key":"10.1016\/S1571-0661(04)80402-X_NEWBIB14","doi-asserted-by":"crossref","DOI":"10.1145\/360248.360252","article-title":"Symbolic execution and program testing","volume":"19","author":"King","year":"1976","journal-title":"Communication of the ACM"},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB15","doi-asserted-by":"crossref","unstructured":"P. Wolper, P. Godefroid. Partial-Order Methods for Temporal Verification, Universit\u00e9 de Li\u00e8ge, Institut Montefiore, CONCUR 930 - Hildesheim, Belgium, August 1993.","DOI":"10.1007\/3-540-57208-2_17"},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB16","unstructured":"J. Chabin, J.-Y. F\u00e9vrier J.-P. Gallois, S. Ramangalahy, G\u00e9n\u00e9ration de tests par ex\u00e9cution symbolique, Journ\u00e9es du GDR programmation, November 1995, Grenoble."},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB17","unstructured":"M. Ishisone, T. Sawada, Brute: brute force rewriting engine, GAIST, January 2001, http:\/\/www.theta.theta.ro\/cafeobj."},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB18","unstructured":"W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman, D. Wonnacott, The Omega Library version 1.1.0, University of Maryland, November 1996, http:\/\/www.cs.umd.edu\/projects\/omega."},{"year":"1989","series-title":"Communication and concurrency","author":"Milner","key":"10.1016\/S1571-0661(04)80402-X_NEWBIB19"},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB20","unstructured":"M. Worner, M. Frohlich, DaVinci Tool version 2.1, Bremen University, July 98, http:\/\/www.informatik.uni-bremen.de\/davinci."},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB21","unstructured":"J-P. Rellier, F. Vardon, CON'FLEX version 1.2, Manuel de I'utilisateur, INRA, January 98, http:\/\/www-bia.inra.fr\/."},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB22","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a Visual Formalism for Complex Systems","volume":"vol. 8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB23","unstructured":"J.-Y. Pierron, J.-P. Gallois, E. Fievet, A. Lapitre, D. Lugato, Validation de syst\u00e8mes industriels par le test symbolique sur sp\u00e9cification STATEMATE. ICSSEA'00."},{"key":"10.1016\/S1571-0661(04)80402-X_NEWBIB24","unstructured":"J.-P. Gallois, A. Lapitre, P. L\u00e9, Analyse de sp\u00e9cifications industrielles et g\u00e9n\u00e9ration automatique de tests. ICSEA'99."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610480402X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610480402X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:05:13Z","timestamp":1761609913000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610480402X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["S157106610480402X"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80402-x","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Validation and automatic test generation on UML models","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80402-X","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}