{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T12:04:39Z","timestamp":1782561879183,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T00:00:00Z","timestamp":1476921600000},"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":[[2016,10,20]]},"DOI":"10.1145\/2993236.2993254","type":"proceedings-article","created":{"date-parts":[[2016,10,21]],"date-time":"2016-10-21T10:16:42Z","timestamp":1477045002000},"page":"173-177","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["Tool demo: testing configurable systems with FeatureIDE"],"prefix":"10.1145","author":[{"given":"Mustafa","family":"Al-Hajjaji","sequence":"first","affiliation":[{"name":"University of Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jens","family":"Meinicke","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Germany \/ METOP, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Krieter","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Reimar","family":"Schr\u00f6ter","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Leich","sequence":"additional","affiliation":[{"name":"METOP, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gunter","family":"Saake","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,10,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993236.2993253"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648532"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"Apel S.","year":"2013","unstructured":"S. Apel , D. Batory , C. K\u00e4stner , and G. Saake . Feature-Oriented Software Product Lines: Concepts and Implementation . Springer , 2013 . S. Apel, D. Batory, C. K\u00e4stner, and G. Saake. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, 2013."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.120"},{"key":"e_1_3_2_1_5_1","first-page":"491","volume-title":"ICSE","author":"Apel S.","unstructured":"S. Apel , A. von Rhein , P. Wendler , A. Gr\u00f6\u00dflinger , and D. Beyer . Strategies for Product-Line Verification: Case Studies and Experiments . In ICSE , pp. 482\u2013 491 . IEEE, 2013. S. Apel, A. von Rhein, P. Wendler, A. Gr\u00f6\u00dflinger, and D. Beyer. Strategies for Product-Line Verification: Case Studies and Experiments. In ICSE, pp. 482\u2013491. IEEE, 2013."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"e_1_3_2_1_8_1","volume-title":"Verification of Object-Oriented Software: The KeY Approach","author":"Beckert B.","year":"2007","unstructured":"B. Beckert , R. H\u00e4hnle , and P. Schmitt . Verification of Object-Oriented Software: The KeY Approach . Springer , 2007 . B. Beckert, R. H\u00e4hnle, and P. Schmitt. Verification of Object-Oriented Software: The KeY Approach. Springer, 2007."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_10_1","first-page":"99","volume-title":"FASE","author":"B\u00fcrdek J.","unstructured":"J. B\u00fcrdek , M. Lochau , S. Bauregger , A. Holzer , A. von Rhein , S. Apel , and D. Beyer . Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines . In FASE , pp. 84\u2013 99 . Springer, 2015. J. B\u00fcrdek, M. Lochau, S. Bauregger, A. Holzer, A. von Rhein, S. Apel, and D. Beyer. Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. In FASE, pp. 84\u201399. Springer, 2015."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.4.3.233"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-010-9135-7"},{"issue":"4","key":"e_1_3_2_1_13_1","first-page":"366","volume":"2","author":"Havelund K.","year":"2000","unstructured":"K. Havelund and T. Pressburger . Model Checking Java Programs Using Java PathFinder. STTT , 2 ( 4 ): 366 \u2013 381 , 2000 . K. Havelund and T. Pressburger. Model Checking Java Programs Using Java PathFinder. STTT, 2(4):366\u2013381, 2000.","journal-title":"Model Checking Java Programs Using Java PathFinder. STTT"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2499778"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542527"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.729683"},{"key":"e_1_3_2_1_17_1","first-page":"652","volume-title":"MODELS","author":"Johansen M. F.","unstructured":"M. F. Johansen , \u00d8. Haugen, and F. Fleurey . Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible . In MODELS , pp. 638\u2013 652 . Springer, 2011. M. F. Johansen, \u00d8. Haugen, and F. Fleurey. Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible. In MODELS, pp. 638\u2013652. Springer, 2011."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_1_19_1","first-page":"242","volume-title":"ECOOP","author":"Kiczales G.","unstructured":"G. Kiczales , J. Lamping , A. Mendhekar , C. Maeda , C. Lopes , J.-M. Loingtier , and J. Irwin . Aspect-Oriented Programming . In ECOOP , pp. 220\u2013 242 . Springer, 1997. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In ECOOP, pp. 220\u2013242. Springer, 1997."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491459"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.24"},{"key":"e_1_3_2_1_22_1","volume-title":"Release 2.2, System Description. JSAT, 7:59\u201364","author":"Le Berre D.","year":"2010","unstructured":"D. Le Berre and A. Parrain . The sat4j Library , Release 2.2, System Description. JSAT, 7:59\u201364 , 2010 . D. Le Berre and A. Parrain. The sat4j Library, Release 2.2, System Description. JSAT, 7:59\u201364, 2010."},{"key":"e_1_3_2_1_23_1","first-page":"140","volume-title":"Testing Techniques in Software Engineering","author":"McGregor J.","unstructured":"J. McGregor . Testing a Software Product Line . In Testing Techniques in Software Engineering , pp. 104\u2013 140 . Springer, 2010. J. McGregor. Testing a Software Product Line. In Testing Techniques in Software Engineering, pp. 104\u2013140. Springer, 2010."},{"key":"e_1_3_2_1_24_1","first-page":"518","volume-title":"ECOOP","author":"Medeiros F.","unstructured":"F. Medeiros , C. K\u00e4stner , M. Ribeiro , S. Nadi , and R. Gheyi . The Love\/Hate Relationship with the C Preprocessor: An Interview Study . In ECOOP , pp. 495\u2013 518 . Schloss Dagstuhl\u2013 Leibniz-Zentrum fuer Informatik, 2015. F. Medeiros, C. K\u00e4stner, M. Ribeiro, S. Nadi, and R. Gheyi. The Love\/Hate Relationship with the C Preprocessor: An Interview Study. In ECOOP, pp. 495\u2013518. Schloss Dagstuhl\u2013 Leibniz-Zentrum fuer Informatik, 2015."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889175"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970322"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-35122-3_27"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.43"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110154"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966451"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648530"},{"key":"e_1_3_2_1_34_1","volume-title":"JavaPathfinder Workshop","author":"von Rhein A.","year":"2011","unstructured":"A. von Rhein , S. Apel , and F. Raimondi . Introducing Binary Decision Diagrams in the Explicit-State Verification of Java code . In JavaPathfinder Workshop , 2011 . A. von Rhein, S. Apel, and F. Raimondi. Introducing Binary Decision Diagrams in the Explicit-State Verification of Java code. In JavaPathfinder Workshop, 2011."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375611"}],"event":{"name":"GPCE '16: Generative Programming: Concepts and Experiences","location":"Amsterdam Netherlands","acronym":"GPCE '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2993236.2993254","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2993236.2993254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:40:13Z","timestamp":1750203613000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2993236.2993254"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,20]]},"references-count":35,"alternative-id":["10.1145\/2993236.2993254","10.1145\/2993236"],"URL":"https:\/\/doi.org\/10.1145\/2993236.2993254","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093335.2993254","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,10,20]]},"assertion":[{"value":"2016-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}