{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:42:15Z","timestamp":1750308135563,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,5]],"date-time":"2005-09-05T00:00:00Z","timestamp":1125878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,5]]},"DOI":"10.1145\/1081180.1081186","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"35-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Structural test coverage criteria for lustre programs"],"prefix":"10.1145","author":[{"given":"Abdesselam","family":"Lakehal","sequence":"first","affiliation":[{"name":"Laboratoire LSR-IMAG, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Parissis","sequence":"additional","affiliation":[{"name":"Laboratoire LSR-IMAG, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/951952.952378"},{"key":"e_1_3_2_1_2_1","volume-title":"Software Testing Techniques","author":"Beizer B.","year":"1990","unstructured":"B. Beizer . Software Testing Techniques . Van Nostrand Reinhold , 1990 . B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, 1990."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.41326"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302634"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/647767.733784"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of 15th Int'l Conference on Automated Software Engineering","author":"A.","year":"2000","unstructured":"Marre B., Arnould A. Test Sequence Generation from Lustre Descriptions : GATEL . Proc. of 15th Int'l Conference on Automated Software Engineering , 2000 . Marre B., Arnould A. Test Sequence Generation from Lustre Descriptions : GATEL. Proc. of 15th Int'l Conference on Automated Software Engineering, 2000."},{"key":"e_1_3_2_1_8_1","volume-title":"Institut National Polytechnique de Toulouse","author":"Mazuet C.","year":"1994","unstructured":"C. Mazuet . Strat\u00e9gies de Test pour des Programmes Synchrones - Application au Langage Lustre. These , Institut National Polytechnique de Toulouse , Toulouse, France , 1994 . C. Mazuet. Strat\u00e9gies de Test pour des Programmes Synchrones - Application au Langage Lustre. These, Institut National Polytechnique de Toulouse, Toulouse, France, 1994."},{"issue":"4","key":"e_1_3_2_1_9_1","volume":"4","author":"M\u00fcllerburg M.","year":"1995","unstructured":"M. M\u00fcllerburg , L. Holenderski , O. Maffeis , A. Merceron , and M. Morley . Systematic Testing and Formal Verification to Validate Reactive Programs. Software Quality Journal , 4 ( 4 ), 1995 . M. M\u00fcllerburg, L. Holenderski, O. Maffeis, A. Merceron, and M. Morley. Systematic Testing and Formal Verification to Validate Reactive Programs. Software Quality Journal, 4(4), 1995.","journal-title":"Software Quality Journal"},{"key":"e_1_3_2_1_10_1","volume-title":"The Art Of Software Testing","author":"Myers G.","year":"1979","unstructured":"G. Myers . The Art Of Software Testing . Wiley-Interscience , 1979 . G. Myers. The Art Of Software Testing. Wiley-Interscience, 1979."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.6165"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239119"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/951952.952347"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/827270.829041"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230473"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"issue":"9","key":"e_1_3_2_1_18_1","first-page":"194","volume":"10","author":"H.","year":"1995","unstructured":"Zhu H. , Axiomatic Assessment of Control Flow-based Software Test Adequacy Criteria. Software Engineering Journal , 10 ( 9 ), pp. 194 -- 204 , September 1995 . Zhu H., Axiomatic Assessment of Control Flow-based Software Test Adequacy Criteria. Software Engineering Journal, 10(9), pp. 194--204, September 1995.","journal-title":"Software Engineering Journal"}],"event":{"name":"FMICS05: Tenth International Workshop on Formal Methods in Industrial Criticial Systems 2005","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lisbon Portugal","acronym":"FMICS05"},"container-title":["Proceedings of the 10th international workshop on Formal methods for industrial critical systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081180.1081186","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1081180.1081186","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:33Z","timestamp":1750262913000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081180.1081186"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,5]]},"references-count":18,"alternative-id":["10.1145\/1081180.1081186","10.1145\/1081180"],"URL":"https:\/\/doi.org\/10.1145\/1081180.1081186","relation":{},"subject":[],"published":{"date-parts":[[2005,9,5]]},"assertion":[{"value":"2005-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}