{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:00Z","timestamp":1750307100294,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,2]],"date-time":"2012-09-02T00:00:00Z","timestamp":1346544000000},"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,9,2]]},"DOI":"10.1145\/2362536.2362562","type":"proceedings-article","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T13:01:27Z","timestamp":1347454887000},"page":"186-195","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Tracing SPLs precisely and efficiently"],"prefix":"10.1145","author":[{"given":"Swarup","family":"Mohalik","sequence":"first","affiliation":[{"name":"Global General Motors R&D, TCI, Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[{"name":"Global General Motors R&D, TCI, Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Vivien","family":"Millo","sequence":"additional","affiliation":[{"name":"Global General Motors R&D, TCI, Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shankara Narayanan","family":"Krishna","sequence":"additional","affiliation":[{"name":"IIT Bombay, Powai, Mumbai, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ganesh Khandu","family":"Narwane","sequence":"additional","affiliation":[{"name":"Homi Bhabha National Institute, Anushakti Nagar, Mumbai, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,9,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"http:\/\/www.cse.iitb.ac.in\/~krishnas\/splane.zip 2012.  http:\/\/www.cse.iitb.ac.in\/~krishnas\/splane.zip 2012."},{"key":"e_1_3_2_1_2_1","unstructured":"http:\/\/www.cse.iitb.ac.in\/~krishnas\/tr2012.pdf 2012.  http:\/\/www.cse.iitb.ac.in\/~krishnas\/tr2012.pdf 2012."},{"key":"e_1_3_2_1_3_1","first-page":"77","volume-title":"ECMDA Traceability Workshop Proceedings","author":"Anquetil N.","year":"2008","unstructured":"N. Anquetil , B. Grammel , I. G. L. da Silva , J. A. R. Noppen , S. S. Khan , H. Arboleda , A. Rashid , and A. Garcia . Traceability for model driven, software product line engineering . ECMDA Traceability Workshop Proceedings , pages 77 -- 86 , 2008 . N. Anquetil, B. Grammel, I. G. L. da Silva, J. A. R. Noppen, S. S. Khan, H. Arboleda, A. Rashid, and A. Garcia. Traceability for model driven, software product line engineering. ECMDA Traceability Workshop Proceedings, pages 77--86, 2008."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"volume-title":"http:\/\/www.win.tue.nl\/wieger\/bddsolve\/","year":"2010","key":"e_1_3_2_1_5_1","unstructured":"BDDSolve. http:\/\/www.win.tue.nl\/wieger\/bddsolve\/ , 2010 . BDDSolve. http:\/\/www.win.tue.nl\/wieger\/bddsolve\/, 2010."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_7_1","first-page":"182","volume-title":"Proceedings of SAICSIT'05","author":"Berg K.","year":"2005","unstructured":"K. Berg , J. Bishop , and D. Muthig . Tracing software product line variability: from problem to solution space . Proceedings of SAICSIT'05 , pages 182 -- 191 , 2005 . K. Berg, J. Bishop, and D. Muthig. Tracing software product line variability: from problem to solution space. Proceedings of SAICSIT'05, pages 182--191, 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.04.005"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_28"},{"key":"e_1_3_2_1_10_1","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki and U. Eisenecker . Generative Programming: Methods, Tools, and Applications . Addison-Wesley , 2000 . K. Czarnecki and U. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173738"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302409"},{"key":"e_1_3_2_1_13_1","volume-title":"Requirements Engineering for Product Lines Workshop","author":"Eisenbarth T.","year":"2002","unstructured":"T. Eisenbarth , R. Koschke , and D. Simon . A formal method for the analysis of product maps . In Requirements Engineering for Product Lines Workshop , Essen, Germany , 2002 . T. Eisenbarth, R. Koschke, and D. Simon. A formal method for the analysis of product maps. In Requirements Engineering for Product Lines Workshop, Essen, Germany, 2002."},{"key":"e_1_3_2_1_14_1","unstructured":"A. Goultiaeva and F. Bacchus. http:\/\/www.cs.utoronto.ca\/alexia\/cirqit\/ 2010.  A. Goultiaeva and F. Bacchus. http:\/\/www.cs.utoronto.ca\/alexia\/cirqit\/ 2010."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/590631.590645"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640002"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.61"},{"key":"e_1_3_2_1_18_1","volume-title":"of Carnegie Mellon University. Software product line web site, -","author":"S. E.","year":"2010","unstructured":"S. E. I. of Carnegie Mellon University. Software product line web site, - 2010 . S. E. I. of Carnegie Mellon University. Software product line web site, - 2010."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.01.031"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14186-7_20"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSA.2007.47"},{"key":"e_1_3_2_1_22_1","volume-title":"http:\/\/www.qbflib.org\/format_qpro.pdf","author":"Seidl M.","year":"2009","unstructured":"M. Seidl . http:\/\/www.qbflib.org\/format_qpro.pdf , 2009 . M. Seidl. http:\/\/www.qbflib.org\/format_qpro.pdf, 2009."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2005.45"},{"key":"e_1_3_2_1_24_1","volume-title":"http:\/\/yices.csl.sri.com\/","author":"YICES.","year":"2010","unstructured":"YICES. http:\/\/yices.csl.sri.com\/ , 2010 . YICES. http:\/\/yices.csl.sri.com\/, 2010."},{"key":"e_1_3_2_1_25_1","first-page":"219","volume-title":"Software Engineering Research and Practice","author":"Zhu C.","year":"2006","unstructured":"C. Zhu , Y. Lee , W. Zhao , and J. Zhang . A feature oriented approach to mapping from domain requirements to product line architecture . In Software Engineering Research and Practice , pages 219 -- 225 , 2006 . C. Zhu, Y. Lee, W. Zhao, and J. Zhang. A feature oriented approach to mapping from domain requirements to product line architecture. In Software Engineering Research and Practice, pages 219--225, 2006."}],"event":{"name":"SPLC '12: 16th International Software Product Line Conference","sponsor":["Pure-Systems Pure-Systems GmbH","Petrobras Petr\u00f3leo Brasileiro S\/A","SEBRAE Servi\u00e7o Brasileiro de Apoio \u00e0s Micro E Pequenas Empresas","FAPESB Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado da Bahia","Hitachi","INES National Institute of Science and Technology for Software Engineering","IEEE Institute of Electrical and Electronics Engineers","Software Eng Inst Software Engineering Institute","Biglever BigLever Software, Inc.","CAPES Brazilian Higher Education Funding Council"],"location":"Salvador Brazil","acronym":"SPLC '12"},"container-title":["Proceedings of the 16th International Software Product Line Conference - Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362536.2362562","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2362536.2362562","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:51Z","timestamp":1750239291000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362536.2362562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,2]]},"references-count":25,"alternative-id":["10.1145\/2362536.2362562","10.1145\/2362536"],"URL":"https:\/\/doi.org\/10.1145\/2362536.2362562","relation":{},"subject":[],"published":{"date-parts":[[2012,9,2]]},"assertion":[{"value":"2012-09-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}