{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:02:13Z","timestamp":1774602133131,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,3,21]],"date-time":"2011-03-21T00:00:00Z","timestamp":1300665600000},"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":[[2011,3,21]]},"DOI":"10.1145\/1960275.1960284","type":"proceedings-article","created":{"date-parts":[[2011,3,22]],"date-time":"2011-03-22T12:25:29Z","timestamp":1300796729000},"page":"57-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":86,"title":["Reducing combinatorics in testing product lines"],"prefix":"10.1145","author":[{"given":"Chang Hwan Peter","family":"Kim","sequence":"first","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}]},{"given":"Don S.","family":"Batory","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}]}],"member":"320","published-online":{"date-parts":[[2011,3,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho A. V.","year":"2006","unstructured":"A. V. Aho , M. S. Lam , R. Sethi , and J. D. Ullman . Compilers: Principles, Techniques, and Tools ( 2 nd Edition). Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 2006 . A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2006.","edition":"2"},{"key":"e_1_3_2_1_2_1","unstructured":"D. Batory. Ahead tool suite. http:\/\/www.cs.utexas.edu\/users\/schwartz\/ATS.html.  D. Batory. Ahead tool suite. http:\/\/www.cs.utexas.edu\/users\/schwartz\/ATS.html."},{"key":"e_1_3_2_1_4_1","first-page":"143","volume-title":"In Proceedings Fifth International Conference on Software Reuse","author":"Batory D.","unstructured":"D. Batory , B. Lofaso , and Y. Smaragdakis . Jts: Tools for implementing domain-specific languages . In In Proceedings Fifth International Conference on Software Reuse , pages 143 -- 153 . IEEE. D. Batory, B. Lofaso, and Y. Smaragdakis. Jts: Tools for implementing domain-specific languages. In In Proceedings Fifth International Conference on Software Reuse, pages 143--153. IEEE."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"A.\n      Bertolino\n     and \n      S.\n      Gnesi\n  . \n  Pluto: A test methodology for product families\n  . In F. van der Linden editor PFE volume \n  3014\n   of \n  Lecture Notes in Computer Science pages \n  181\n  --\n  197\n  . \n  Springer 2003\n  .  A. Bertolino and S. Gnesi. Pluto: A test methodology for product families. In F. van der Linden editor PFE volume 3014 of Lecture Notes in Computer Science pages 181--197. Springer 2003.","DOI":"10.1007\/978-3-540-24667-1_14"},{"key":"e_1_3_2_1_6_1","volume-title":"Private and Soot newsgroup correspondence","author":"Bodden E.","year":"2010","unstructured":"E. Bodden . Private and Soot newsgroup correspondence , 2010 . E. Bodden. Private and Soot newsgroup correspondence, 2010."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566191"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_9_1","volume-title":"ECOOP'07","author":"Clifton C.","unstructured":"C. Clifton , G. T. Leavens , and J. Noble . MAO: Ownership and effects for more effective reasoning about aspects . In ECOOP'07 . C. Clifton, G. T. Leavens, and J. Noble. MAO: Ownership and effects for more effective reasoning about aspects. In ECOOP'07."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147257"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273482"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727794"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111320.1111071"},{"key":"e_1_3_2_1_14_1","volume-title":"ASE'02","author":"Giannakopoulou D.","unstructured":"D. Giannakopoulou , C. S. Pasareanu , and H. Barringer . Assumption generation for software component verification . In ASE'02 . D. Giannakopoulou, C. S. Pasareanu, and H. Barringer. Assumption generation for software component verification. In ASE'02."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504305"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_17_1","first-page":"191","volume-title":"Do sat solvers make good configurators? In S","author":"Janota M.","year":"2008","unstructured":"M. Janota . Do sat solvers make good configurators? In S . Thiel and K. Pohl, editors, SPLC (2), pages 191 -- 195 . Lero Int. Science Centre, University of Limerick , Ireland, 2008 . M. Janota. Do sat solvers make good configurators? In S. Thiel and K. Pohl, editors, SPLC (2), pages 191--195. Lero Int. Science Centre, University of Limerick, Ireland, 2008."},{"key":"e_1_3_2_1_18_1","volume-title":"Reducing combinatorics in product line testing: Tool and results. Available from http:\/\/userweb.cs.utexas.edu\/~chpkim\/spltesting","author":"Kim C. H. P.","year":"2010","unstructured":"C. H. P. Kim . Reducing combinatorics in product line testing: Tool and results. Available from http:\/\/userweb.cs.utexas.edu\/~chpkim\/spltesting , 2010 . C. H. P. Kim. Reducing combinatorics in product line testing: Tool and results. Available from http:\/\/userweb.cs.utexas.edu\/~chpkim\/spltesting, 2010."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859021"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"C. H. P.\n      Kim E.\n      Bodden D. S.\n      Batory and \n      S.\n      Khurshid\n  . \n  Reducing configurations to monitor in a software product line\n  . In H. Barringer Y. Falcone B. Finkbeiner K. Havelund I. Lee G. J. Pace G. Rosu O. Sokolsky and N. Tillmann editors RV volume \n  6418\n   of \n  Lecture Notes in Computer Science pages \n  285\n  --\n  299\n  . \n  Springer 2010\n  .   C. H. P. Kim E. Bodden D. S. Batory and S. Khurshid. Reducing configurations to monitor in a software product line. In H. Barringer Y. Falcone B. Finkbeiner K. Havelund I. Lee G. J. Pace G. Rosu O. Sokolsky and N. Tillmann editors RV volume 6418 of Lecture Notes in Computer Science pages 285--299. Springer 2010.","DOI":"10.1007\/978-3-642-16612-9_22"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11406921_22"},{"key":"e_1_3_2_1_22_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","volume-title":"Compiler Construction, 12th International Conference","author":"Lhot\u00e1k O.","year":"2003","unstructured":"O. Lhot\u00e1k and L. Hendren . Scaling Java points-to analysis using Spark . In G. Hedin, editor, Compiler Construction, 12th International Conference , volume 2622 of LNCS , pages 153 -- 169 , Warsaw, Poland, April 2003 . Springer . O. Lhot\u00e1k and L. Hendren. Scaling Java points-to analysis using Spark. In G. Hedin, editor, Compiler Construction, 12th International Conference, volume 2622 of LNCS, pages 153--169, Warsaw, Poland, April 2003. Springer."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/605466.605481"},{"key":"e_1_3_2_1_24_1","first-page":"10","volume-title":"Proc. 2001 Conf. Generative and Component-Based Software Eng","author":"Batory R. E.","year":"2001","unstructured":"R. E. Lopez-herrejon and D. Batory . A standard problem for evaluating product-line methodologies . In Proc. 2001 Conf. Generative and Component-Based Software Eng , pages 10 -- 24 . Springer , 2001 . R. E. Lopez-herrejon and D. Batory. A standard problem for evaluating product-line methodologies. In Proc. 2001 Conf. Generative and Component-Based Software Eng, pages 10--24. Springer, 2001."},{"key":"e_1_3_2_1_25_1","volume-title":"NASA","author":"Lutz R.","year":"2007","unstructured":"R. Lutz . Survey of product-line verification and validation techniques. Technical report, Jet Propulsion Laboratory , NASA , May 2007 . R. Lutz. Survey of product-line verification and validation techniques. Technical report, Jet Propulsion Laboratory, NASA, May 2007."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA401736"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-33253-4_12"},{"key":"e_1_3_2_1_28_1","unstructured":"Oracle. Java lesson: Exceptions. Document available at http:\/\/download.oracle.com\/javase\/tutorial\/essential\/exceptions\/.  Oracle. Java lesson: Exceptions. Document available at http:\/\/download.oracle.com\/javase\/tutorial\/essential\/exceptions\/."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183236.1183271"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173742"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.536955"},{"key":"e_1_3_2_1_32_1","unstructured":"Sable Group. Soot: a Java optimization framework. http:\/\/www.sable.mcgill.ca\/soot\/.  Sable Group. Soot: a Java optimization framework. http:\/\/www.sable.mcgill.ca\/soot\/."},{"key":"e_1_3_2_1_33_1","unstructured":"SAT4J. SAT4J. http:\/\/www.sat4j.org\/.  SAT4J. SAT4J. http:\/\/www.sat4j.org\/."},{"key":"e_1_3_2_1_34_1","volume-title":"ECOOP'02","author":"Snelting G.","unstructured":"G. Snelting and F. Tip . Semantics-based composition of class hierarchies . In ECOOP'02 . G. Snelting and F. Tip. Semantics-based composition of class hierarchies. In ECOOP'02."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289989"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.56"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/786768.786967"},{"key":"e_1_3_2_1_38_1","first-page":"439","volume-title":"ICSE '81: Proceedings of the 5th international conference on Software engineering","author":"Weiser M.","year":"1981","unstructured":"M. Weiser . Program slicing. In ICSE '81: Proceedings of the 5th international conference on Software engineering , pages 439 -- 449 , Piscataway, NJ, USA , 1981 . IEEE Press. M. Weiser. Program slicing. In ICSE '81: Proceedings of the 5th international conference on Software engineering, pages 439--449, Piscataway, NJ, USA, 1981. IEEE Press."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025219"}],"event":{"name":"AOSD'11: Tenth International Conference on Aspect-Oriented Software Development","location":"Porto de Galinhas Brazil","acronym":"AOSD'11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","Centro de Informatica - UFPE Centro de Informatica - UFPE","CAPES Coorden\u00e7\u00e3ao de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","CNPq Conselho Nacional de Desenvolvimento Cientifico e Tecn","FINEP Financiadora de Estudos e Projetos","PUC-Rio","FACEPE Fundacao de Amparo a Ciencia e Tecnologia do Estado de Pernambuco"]},"container-title":["Proceedings of the tenth international conference on Aspect-oriented software development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1960275.1960284","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1960275.1960284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:52Z","timestamp":1750240132000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1960275.1960284"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,21]]},"references-count":38,"alternative-id":["10.1145\/1960275.1960284","10.1145\/1960275"],"URL":"https:\/\/doi.org\/10.1145\/1960275.1960284","relation":{},"subject":[],"published":{"date-parts":[[2011,3,21]]},"assertion":[{"value":"2011-03-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}