{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T04:13:53Z","timestamp":1742357633797,"version":"3.40.1"},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/tse.2010.30","type":"journal-article","created":{"date-parts":[[2010,5,10]],"date-time":"2010-05-10T13:32:34Z","timestamp":1273498354000},"page":"309-322","source":"Crossref","is-referenced-by-count":70,"title":["Incremental Test Generation for Software Product Lines"],"prefix":"10.1109","volume":"36","author":[{"given":"Engin","family":"Uzuncaova","sequence":"first","affiliation":[]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[]},{"given":"Don","family":"Batory","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319164"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24667-1_17"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"article-title":"From Implementation to Theory in Program Synthesis","volume-title":"Proc. 34th Ann. ACM Symp. Principles of Programming Languages","author":"Batory","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.846301"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSR.1998.685739"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/136586.136587"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201199"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24667-1_14"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/318774.318948"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44898-5_1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-33253-4_12"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.605761"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147257"},{"volume-title":"Introduction to Algorithms","year":"1990","author":"Cormen","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173738"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1159733.1159762"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.307"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312836"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566190"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.56"},{"volume-title":"Software Abstractions: Logic, Language and Analysis","year":"2006","author":"Jackson","key":"ref30"},{"article-title":"Specification-Based Testing for Software Product Lines","volume-title":"Proc. Sixth IEEE Int\u2019l Conf. Software Eng. and Formal Methods","author":"Kahsai","key":"ref31"},{"key":"ref32","article-title":"Modeling Linked Data Structures Using SMT Solvers","volume-title":"Class Project Report for Khurshid\u2019s Graduate Course on Verification and Validation of Software (EE382C-3)","author":"Khalek","year":"2008"},{"key":"ref33","article-title":"Generating Structurally Complex Tests from Declarative Constraints","volume-title":"PhD thesis, Dept. of Electrical Eng. and Computer Science, Massachusetts Inst. of Technology","author":"Khurshid","year":"2003"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00260-9"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_40"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_10"},{"key":"ref38","article-title":"Preliminary Design of JML: A Behavioral Interface Specification Language for Java","volume-title":"Technical Report TR 98-06i, Dept. of Computer Science, Iowa State Univ.","author":"Leavens","year":"1998"},{"key":"ref39","article-title":"Automated Analysis of Security APIs","volume-title":"master\u2019s thesis, Dept. of Electrical Eng. and Computer Science, Massachusetts Inst. of Technology","author":"Lin","year":"2005"},{"volume-title":"Program Development in Java: Abstraction, Specification, and Object-Oriented Design","year":"2000","author":"Liskov","key":"ref40"},{"article-title":"Modeling Interactions in Feature Oriented Software Designs","volume-title":"Proc. Eighth Int\u2019l Conf. Feature Interactions in Telecomm. and Software Systems","author":"Liu","key":"ref41"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989787"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81029-6"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73066-8_17"},{"key":"ref45","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"Pierce","year":"1991"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134499"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.007"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/32.536955"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/582095.582099"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/1512762.1512764"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007531"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2004.1342732"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.36"},{"article-title":"Efficient Specification-Based Testing Using Incremental Techniques","year":"2008","author":"Uzuncaova","key":"ref56"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.56"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_22"},{"key":"ref59","article-title":"Finding Bugs Using a Constraint Solver","volume-title":"PhD thesis, Computer Science and Artificial Intelligence Lab, Masschusetts Inst. of Technology","author":"Vaziri","year":"2003"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.75"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/5473896\/05456077.pdf?arnumber=5456077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T06:17:53Z","timestamp":1742278673000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5456077\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":60,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2010.30","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"}],"subject":[],"published":{"date-parts":[[2010,5]]}}}