{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T14:17:24Z","timestamp":1772893044212,"version":"3.50.1"},"reference-count":40,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227152","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"650-660","source":"Crossref","is-referenced-by-count":39,"title":["Build code analysis with symbolic evaluation"],"prefix":"10.1109","author":[{"given":"Ahmed","family":"Tamrawi","sequence":"first","affiliation":[{"name":"Electrical and Computer Engineering Department, Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoan Anh","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering Department, Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hung Viet","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering Department, Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tien N.","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering Department, Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Software Building"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/152388.152389"},{"key":"ref3","article-title":"The evolution of the Linux build system","volume":"8","author":"Adams","year":"2007","journal-title":"ECEASST"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2011.54"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985813"},{"key":"ref6","article-title":"Make"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.02.048"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2010.5463341"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/332740.332743"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_28"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1190215.1190226"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390635"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007526"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146243"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453131"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100047"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265817"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2007.4362624"},{"key":"ref19","article-title":"Refactoring object-oriented frameworks","volume-title":"Ph.D. dissertation","author":"Opdyke","year":"1992"},{"key":"ref20","article-title":"Software in the DOE: The hidden overhead of \u201cthe build\u201d\u201d Lawrence Livermore National Laboratory","volume-title":"Tech. Rep. UCRL-ID-147343","author":"Kumfert","year":"2002"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070539"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1103845.1094832"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368147"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.70"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134303"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45672-4_31"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2000.891457"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1999.792593"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ISPSE.2000.913233"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2003.1192416"},{"key":"ref31","article-title":"Tool-supported discovery and refactoring of structural weaknesses in code","volume-title":"Diploma thesis","author":"Dudziak","year":"2002"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2002.1173068"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.3166\/objet.8.1-2.135-149"},{"key":"ref34","article-title":"SCST Project"},{"key":"ref35","article-title":"Linux2.6-net"},{"key":"ref36","article-title":"Gcc compiler"},{"key":"ref37","article-title":"Minix"},{"key":"ref38","article-title":"Linux2.6-sound"},{"key":"ref39","article-title":"Firefox development"},{"key":"ref40","article-title":"Current Thunderbird, SeaMonkey and calendar development"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE)","location":"Zurich, Switzerland","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227152.pdf?arnumber=6227152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:12:56Z","timestamp":1747804376000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6227152\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227152","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}