{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:15:15Z","timestamp":1730279715188,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/iwast.2009.5069044","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T14:56:15Z","timestamp":1244645775000},"page":"79-87","source":"Crossref","is-referenced-by-count":2,"title":["Lazy symbolic evaluation and its path constraints solution"],"prefix":"10.1109","author":[{"given":"Meng-xiang","family":"Lin","sequence":"first","affiliation":[]},{"given":"Yin-li","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Kai","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Guo-shi","family":"Wu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"2488","article-title":"the state problem for evolutionary testing","author":"mcminn","year":"2003","journal-title":"Proceedings of the Genetic and Evolutionary Computation Conference Volume 2724 of LNCS"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108817"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390665"},{"key":"14","first-page":"553","article-title":"generalized symbolic execution for model checking and testing","author":"khurshid","year":"2003","journal-title":"Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Volume 2619 of LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/271775.271790"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288321"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233835"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"key":"22","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1095430.1081750","article-title":"cute: a concolic unit testing engine for c.","volume":"30","author":"sen","year":"2005","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00995175"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270315"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/APAQ.2000.883800"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194001000487"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808445"},{"key":"2","first-page":"163","article-title":"symbolic execution with abstract subsumption checking","author":"anand","year":"2006","journal-title":"Proceedings of the 13th International SPIN Workshop on Model Checking of Software Volume 3925 of LNCS"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"year":"0","key":"1"},{"key":"7","first-page":"21","article-title":"a survey on automatic test data generation","author":"edvardsson","year":"1999","journal-title":"Proceedings of the 2nd Conference on Computer Science and Engineering"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(91)90024-6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"4","first-page":"2","article-title":"execution generated test cases: how to make systems code crash itself","author":"cadar","year":"2005","journal-title":"Proceedings of the 12th International SPIN Workshop on Model Checking of Software Volume 3639 of LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/226155.226158"}],"event":{"name":"2009 ICSE Workshop on Automation of Software Test (AST 2009)","start":{"date-parts":[[2009,5,18]]},"location":"Vancouver, BC","end":{"date-parts":[[2009,5,19]]}},"container-title":["2009 ICSE Workshop on Automation of Software Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5061534\/5069024\/05069044.pdf?arnumber=5069044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,22]],"date-time":"2020-07-22T21:46:55Z","timestamp":1595454415000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5069044\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/iwast.2009.5069044","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}