{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:34Z","timestamp":1772532934267,"version":"3.50.1"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/rttas.2004.1317254","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"104-111","source":"Crossref","is-referenced-by-count":5,"title":["Automated functional test case synthesis from THALES industrial requirements"],"prefix":"10.1109","author":[{"given":"D.","family":"Lugato","sequence":"first","affiliation":[]},{"given":"F.","family":"Maraux","sequence":"additional","affiliation":[]},{"given":"Y.","family":"Le Traon","sequence":"additional","affiliation":[]},{"given":"V.","family":"Normand","sequence":"additional","affiliation":[]},{"given":"H.","family":"Dubois","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2003.1251033"},{"key":"22","article-title":"Validation de syste?mes industriels par le test symbolique sur spe?cification STATEMATE","author":"pierron","year":"0","journal-title":"ICSSEA'00"},{"key":"17","article-title":"Validation and automatic test generation on UML models: The AGATHA approach","volume":"66","author":"lugato","year":"2002","journal-title":"Proceedings of the Workshop FMICS"},{"key":"23","first-page":"92","article-title":"U?ber die Vollsta?ndigkeit eines gewissen Systems der Arithmetic","volume":"395","author":"presburger","year":"1929","journal-title":"Comptes Rendus Du Premier Congre?s De Mathe?matiques Des Pays Slaves"},{"key":"18","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"24","article-title":"Kronos: A verification tool for real time systems","volume":"1","author":"yovine","year":"1997","journal-title":"Springer Int J Software Tools Technol Transfer"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/24.855533"},{"key":"16","article-title":"Verification and tests generation for SDL industrial specifications with the AGATHA toolset","author":"lugato","year":"2001","journal-title":"Proceedings of Workshop on RealTime Tools"},{"key":"13","article-title":"Programming languages: SDL methodology guidelines, SDL bibliography","year":"1993","journal-title":"ITU-T Recommendation Z 100 - Appendices I and II"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"12","year":"1997","journal-title":"Estelle - A Formal Description Technique Based on An Extended State Transition Model"},{"key":"21","author":"pierron","year":"2003","journal-title":"De?finition De Crite?res De Se?lection De Tests Fonctionnels Pour La Validation Des Syste?mes E?lectroniques Embarque?s"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24667-1_15"},{"key":"2","article-title":"L'approche processus avec UML: Exemples avec le Rafale et le Mirage 2000-9","author":"bargatlo","year":"2001","journal-title":"2e?me Confe?rence Annuelle D'Inge?nierie Syste?me"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"10","article-title":"Efficient system modeling of complex real-time industry","author":"ge?rard","year":"2000","journal-title":"Networks Using the ACCORD\/UML Methodology"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384048"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"5","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214324"},{"key":"9","first-page":"145","article-title":"Le test structurel pour la ve?rification de spe?cifications de syste?mes industriels","volume":"46","author":"gallois","year":"1997","journal-title":"Ge?nie Logiciel"},{"key":"8","article-title":"Using on the fly verification techniques for the generation of test suites","author":"fernandez","year":"0","journal-title":"CAV '96"}],"event":{"name":"Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004.","location":"Toronto, Canada"},"container-title":["Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9204\/29179\/01317254.pdf?arnumber=1317254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T02:36:52Z","timestamp":1489459012000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1317254\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/rttas.2004.1317254","relation":{},"subject":[]}}