{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:52Z","timestamp":1750306792215,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T00:00:00Z","timestamp":1378857600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001736","name":"German-Israeli Foundation for Scientific Research and Development","doi-asserted-by":"publisher","award":["1131-9.6\/2011"],"award-info":[{"award-number":["1131-9.6\/2011"]}],"id":[{"id":"10.13039\/501100001736","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003407","name":"Ministero dell'Istruzione, dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ateneo\/CSP"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,9,11]]},"DOI":"10.1145\/2500828.2500841","type":"proceedings-article","created":{"date-parts":[[2013,9,3]],"date-time":"2013-09-03T11:57:17Z","timestamp":1378209437000},"page":"135-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Refinement-based testing of delta-oriented product lines"],"prefix":"10.1145","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[{"name":"University of Torino, Italy"}]},{"given":"Christoph","family":"Gladisch","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Germany"}]},{"given":"Shmuel","family":"Tyszberowicz","sequence":"additional","affiliation":[{"name":"The Academic College of Tel Aviv Yaffo, Israel"}]}],"member":"320","published-online":{"date-parts":[[2013,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13198-011-0068-3"},{"key":"e_1_3_2_1_4_1","volume-title":"Compositional type checking of delta-oriented software product lines. Acta Informatica, 50: 77--122","author":"Bettini L.","year":"2013","unstructured":"L. Bettini , F. Damiani , and I. Schaefer . Compositional type checking of delta-oriented software product lines. Acta Informatica, 50: 77--122 , 2013 . L. Bettini, F. Damiani, and I. Schaefer. Compositional type checking of delta-oriented software product lines. Acta Informatica, 50:77--122, 2013."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364412.2364422"},{"key":"e_1_3_2_1_6_1","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663079","volume-title":"Data Refinement: Model-oriented Proof Theories and their Comparison","author":"de Roever W. P.","year":"1998","unstructured":"W. P. de Roever and K. Engelhardt . Data Refinement: Model-oriented Proof Theories and their Comparison , volume 46 of Cambridge Tracts in Theoretical Computer Science . Cambridge University Press , 1998 . W. P. de Roever and K. Engelhardt. Data Refinement: Model-oriented Proof Theories and their Comparison, volume 46 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1998."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.05.011"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13198-011-0060-y"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34026-0_4"},{"key":"e_1_3_2_1_10_1","volume-title":"Software Abstractions - Logic, Language, and Analysis","author":"Jackson D.","year":"2006","unstructured":"D. Jackson . Software Abstractions - Logic, Language, and Analysis . MIT Press , 2006 . D. Jackson. Software Abstractions - Logic, Language, and Analysis. MIT Press, 2006."},{"key":"e_1_3_2_1_11_1","first-page":"23","volume-title":"A systematic review. In ICSOFT (1)","author":"Lamancha B. P.","year":"2009","unstructured":"B. P. Lamancha , M. P. Usaola , and M. P. Velthius . Software product line testing , A systematic review. In ICSOFT (1) , pages 23 -- 30 , 2009 . B. P. Lamancha, M. P. Usaola, and M. P. Velthius. Software product line testing, A systematic review. In ICSOFT (1), pages 23--30, 2009."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362545"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.38"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30473-6_7"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/342009.335393"},{"key":"e_1_3_2_1_17_1","series-title":"LNCS","first-page":"77","volume-title":"SPLC","author":"Schaefer I.","year":"2010","unstructured":"I. Schaefer , L. Bettini , V. Bono , F. Damiani , and N. Tanzarella . Delta-oriented Programming of Software Product Lines . In SPLC , volume 6287 of LNCS , pages 77 -- 91 . Springer , 2010 . I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella. Delta-oriented Programming of Software Product Lines. In SPLC, volume 6287 of LNCS, pages 77--91. Springer, 2010."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960283"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868688.1868696"},{"key":"e_1_3_2_1_20_1","series-title":"LNCS","first-page":"632","volume-title":"TACAS","author":"Torlak E.","year":"2007","unstructured":"E. Torlak and D. Jackson . Kodkod: A relational model finder . In TACAS , volume 4424 of LNCS , pages 632 -- 647 . Springer , 2007 . E. Torlak and D. Jackson. Kodkod: A relational model finder. In TACAS, volume 4424 of LNCS, pages 632--647. Springer, 2007."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.30"}],"event":{"name":"PPPJ '13: virtual machines, languages, and tools","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Stuttgart Germany","acronym":"PPPJ '13"},"container-title":["Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500828.2500841","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2500828.2500841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:27Z","timestamp":1750232067000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500828.2500841"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,11]]},"references-count":20,"alternative-id":["10.1145\/2500828.2500841","10.1145\/2500828"],"URL":"https:\/\/doi.org\/10.1145\/2500828.2500841","relation":{},"subject":[],"published":{"date-parts":[[2013,9,11]]},"assertion":[{"value":"2013-09-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}