{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:44:50Z","timestamp":1725698690186},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1109\/icst.2010.44","type":"proceedings-article","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T10:37:44Z","timestamp":1276598264000},"page":"103-106","source":"Crossref","is-referenced-by-count":6,"title":["Model Based Testing and Abstract Interpretation in the Railway Signaling Context"],"prefix":"10.1109","author":[{"given":"Daniele","family":"Grasso","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"given":"Alessio","family":"Ferrari","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Becheri","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Bacherini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref3","article-title":"One evaluation of model-based testing and its automation","author":"pretschner","year":"2005","journal-title":"Proceedings of the 27th International Conference on Software Engineering (ICSE)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224259"},{"journal-title":"Static Verification Of Dynamic Properties","year":"2004","author":"deutsch","key":"ref5"},{"key":"ref2","article-title":"Modeling Guidelines for Code Generation in the Railway Signaling Context","author":"ferrari","year":"2009","journal-title":"Proceedings of 1st NASA Formal Methods Symphosium (NFM)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_13"}],"event":{"name":"2010 Third International Conference on Software Testing, Verification and Validation","start":{"date-parts":[[2010,4,6]]},"location":"Paris, France","end":{"date-parts":[[2010,4,10]]}},"container-title":["2010 Third International Conference on Software Testing, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5477032\/5477034\/05477095.pdf?arnumber=5477095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T21:16:14Z","timestamp":1489871774000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5477095\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/icst.2010.44","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}