{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:42:06Z","timestamp":1780994526898,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,3,26]],"date-time":"2012-03-26T00:00:00Z","timestamp":1332720000000},"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":[[2012,3,26]]},"DOI":"10.1145\/2245276.2231980","type":"proceedings-article","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T13:03:31Z","timestamp":1339419811000},"page":"1284-1291","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":43,"title":["Program slicing enhances a verification technique combining static and dynamic analysis"],"prefix":"10.1145","author":[{"given":"Omar","family":"Chebaro","sequence":"first","affiliation":[{"name":"CEA, LIST, Software Safety Laboratory, Gif-sur-Yvette France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nikolai","family":"Kosmatov","sequence":"additional","affiliation":[{"name":"CEA, LIST, Software Safety Laboratory, Gif-sur-Yvette France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alain","family":"Giorgetti","sequence":"additional","affiliation":[{"name":"LIFC, University of Franche-Comt\u00e9, Besan\u00e7on France and INRIA Nancy - Grand Est, CASSIS project, Villers-l\u00e8s-Nancy France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jacques","family":"Julliand","sequence":"additional","affiliation":[{"name":"LIFC, University of Franche-Comt\u00e9, Besan\u00e7on France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,3,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.10.025"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390634"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0044-z"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2009.5069043"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2009.22"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","first-page":"652","volume-title":"TAP","author":"Chebaro O.","year":"2010","unstructured":"O. Chebaro , N. Kosmatov , A. Giorgetti , and J. Julliand . Combining static analysis and test generation for C program debugging . In TAP , volume 6143 of LNCS , pages 652 -- 666 . Springer , 2010 . O. Chebaro, N. Kosmatov, A. Giorgetti, and J. Julliand. Combining static analysis and test generation for C program debugging. In TAP, volume 6143 of LNCS, pages 652--666. Springer, 2010."},{"key":"e_1_3_2_1_8_1","first-page":"78","volume-title":"TAP","author":"Chebaro O.","year":"2011","unstructured":"O. Chebaro , N. Kosmatov , A. Giorgetti , and J. Julliand . The SANTE tool: Value analysis, program slicing and test generation for C program debugging . In TAP , pages 78 -- 83 , 2011 . O. Chebaro, N. Kosmatov, A. Giorgetti, and J. Julliand. The SANTE tool: Value analysis, program slicing and test generation for C program debugging. In TAP, pages 78--83, 2011."},{"issue":"4","key":"e_1_3_2_1_9_1","first-page":"511","volume":"2","author":"Cousot P.","year":"1992","unstructured":"P. Cousot and R. Cousot . Abstract interpretation frameworks. J. Log. Comput. , 2 ( 4 ): 511 -- 547 , 1992 . P. Cousot and R. Cousot. Abstract interpretation frameworks. J. Log. Comput., 2(4): 511--547, 1992.","journal-title":"Abstract interpretation frameworks. J. Log. Comput."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596591"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263750"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_14_1","volume-title":"Framework for static analysis of C programs","author":"C.","year":"2007","unstructured":"Frama- C. Framework for static analysis of C programs , 2007 --2011. http:\/\/frama-c.com\/. Frama-C. Framework for static analysis of C programs, 2007--2011. http:\/\/frama-c.com\/."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985971"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450087"},{"key":"e_1_3_2_1_17_1","series-title":"LNCS","first-page":"72","volume-title":"CAV","author":"Graf S.","year":"1997","unstructured":"S. Graf and H. Sa\u00efdi . Construction of abstract state graphs with PVS . In CAV , volume 1254 of LNCS , pages 72 -- 83 . Springer , 1997 . S. Graf and H. Sa\u00efdi. Construction of abstract state graphs with PVS. In CAV, volume 1254 of LNCS, pages 72--83. Springer, 1997."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181790"},{"key":"e_1_3_2_1_19_1","volume-title":"Artificial Intelligence Applications for Improved Software Engineering Development: New Prospects","author":"Kosmatov N.","year":"2010","unstructured":"N. Kosmatov . Artificial Intelligence Applications for Improved Software Engineering Development: New Prospects , chapter XI: Constraint-Based Techniques for Software Testing. IGI Global , 2010 . N. Kosmatov. Artificial Intelligence Applications for Improved Software Engineering Development: New Prospects, chapter XI: Constraint-Based Techniques for Software Testing. IGI Global, 2010."},{"key":"e_1_3_2_1_20_1","volume-title":"Online version of the PathCrawler test generator","author":"Kosmatov N.","year":"2010","unstructured":"N. Kosmatov . Online version of the PathCrawler test generator , 2010 --2011. http:\/\/pathcrawler-online.com\/. N. Kosmatov. Online version of the PathCrawler test generator, 2010--2011. http:\/\/pathcrawler-online.com\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321691"},{"key":"e_1_3_2_1_22_1","first-page":"330","volume-title":"MICRO","author":"Lee C.","year":"1997","unstructured":"C. Lee , M. Potkonjak , and W. H. Mangione-Smith . Mediabench: a tool for evaluating and synthesizing multimedia and communicatons systems . In MICRO , pages 330 -- 335 . IEEE Computer Society , 1997 . C. Lee, M. Potkonjak, and W. H. Mangione-Smith. Mediabench: a tool for evaluating and synthesizing multimedia and communicatons systems. In MICRO, pages 330--335. IEEE Computer Society, 1997."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_7"},{"key":"e_1_3_2_1_24_1","volume-title":"Software verification tool","year":"1994","unstructured":"Polyspace. Software verification tool , 1994 --2011. http:\/\/mathworks.com\/products\/polyspace\/. Polyspace. Software verification tool, 1994--2011. http:\/\/mathworks.com\/products\/polyspace\/."},{"key":"e_1_3_2_1_25_1","volume-title":"The semantics of program slicing. Technical report","author":"Reps T. W.","year":"1988","unstructured":"T. W. Reps and W. Yang . The semantics of program slicing. Technical report , Univ. of Wisconsin , 1988 . T. W. Reps and W. Yang. The semantics of program slicing. Technical report, Univ. of Wisconsin, 1988."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_27_1","series-title":"LNCS","first-page":"1","volume-title":"TAP","author":"Smaragdakis Y.","year":"2007","unstructured":"Y. Smaragdakis and C. Csallner . Combining static and dynamic reasoning for bug detection . In TAP , volume 4454 of LNCS , pages 1 -- 16 . Springer , 2007 . Y. Smaragdakis and C. Csallner. Combining static and dynamic reasoning for bug detection. In TAP, volume 4454 of LNCS, pages 1--16. Springer, 2007."},{"key":"e_1_3_2_1_28_1","first-page":"439","volume-title":"ICSE","author":"Weiser M.","year":"1981","unstructured":"M. Weiser . Program slicing . In ICSE , pages 439 -- 449 . IEEE Computer Society , 1981 . M. Weiser. Program slicing. In ICSE, pages 439--449. IEEE Computer Society, 1981."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/11408901_21"}],"event":{"name":"SAC 2012: ACM Symposium on Applied Computing","location":"Trento Italy","acronym":"SAC 2012","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 27th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2245276.2231980","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2245276.2231980","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:08:04Z","timestamp":1750273684000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2245276.2231980"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,26]]},"references-count":29,"alternative-id":["10.1145\/2245276.2231980","10.1145\/2245276"],"URL":"https:\/\/doi.org\/10.1145\/2245276.2231980","relation":{},"subject":[],"published":{"date-parts":[[2012,3,26]]},"assertion":[{"value":"2012-03-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}