{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:33Z","timestamp":1772532933824,"version":"3.50.1"},"reference-count":22,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iceccs.2004.1310906","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T09:50:22Z","timestamp":1096365022000},"page":"75-84","source":"Crossref","is-referenced-by-count":24,"title":["Formal test-case generation for UML statecharts"],"prefix":"10.1109","author":[{"given":"S.","family":"Gnesi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Latella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Massink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Intecs and CNR-CNUCE. PRIDE Definition of Changes in UML Notation","year":"0","journal-title":"Technical Report PRIDE Deliverable 1 2 PRIDE 02"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s001659970003"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35562-7_25"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2001.966803"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566194"},{"key":"ref15","article-title":"System test synthesis from UML models of distributed software","volume":"2529","author":"le traon","year":"2002","journal-title":"Formal Techniques for Networked and Distributed Sytems - FORTE 2002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"ref17","article-title":"Functional Techniques in Concurrency","author":"massink","year":"1996"},{"key":"ref18","year":"2003","journal-title":"OMG Unifi ed Modeling Language Specifi cation - version 1 5"},{"key":"ref19","first-page":"79","article-title":"Model based testing for real: The Inhouse Card study","author":"pretschner","year":"2001","journal-title":"6th International ERCIM Workshop on Formal Methods for Industrial Critical Systems Paris"},{"key":"ref4","first-page":"289","article-title":"A framework for test selection","author":"brinksma","year":"1991","journal-title":"Protocol Specifi cation Testing and Veriji cation XI"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(91)90079-R"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35497-2_20"},{"key":"ref5","author":"fantechi","year":"2004","journal-title":"Enhancing test coverage by back-tracing model-checker counterexamples"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(01)00012-1"},{"key":"ref7","article-title":"Formal conformance testing UML Statechart Diagrams Behaviours: From theory to automatic test generation","author":"gnesi","year":"2001","journal-title":"Technical Report CNUCE-B04-2001-16"},{"key":"ref2","first-page":"107","article-title":"Automated test set generation for Statecharts","volume":"1641","author":"bogdanov","year":"1998","journal-title":"Applications of Formal Methods"},{"key":"ref1","first-page":"289","article-title":"A metric based theory of test selection and coverage","author":"alilovic-curgus","year":"1993","journal-title":"Protocol Specifi cation Testing and Verijication XII"},{"key":"ref9","author":"hennessy","year":"1988","journal-title":"Algebraic Theory of Processes"},{"key":"ref20","year":"2003","journal-title":"The Agedis Home Page"},{"key":"ref22","first-page":"46","article-title":"Testing concurrent systems: A formal approach","volume":"1664","author":"tretmans","year":"1999","journal-title":"CONCUR'99"},{"key":"ref21","first-page":"103","article-title":"Test generation with inputs, outputs and repetitive quiescence","volume":"17","author":"tretmans","year":"1996","journal-title":"Software - Concepts and Tools"}],"event":{"name":"Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems","location":"Florence, Italy","acronym":"ICECCS-04"},"container-title":["Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9173\/29106\/01310906.pdf?arnumber=1310906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T22:50:50Z","timestamp":1489531850000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1310906\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2004.1310906","relation":{},"subject":[]}}