{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:33:17Z","timestamp":1784341997265,"version":"3.55.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693083","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:07:25Z","timestamp":1389010045000},"page":"235-245","source":"Crossref","is-referenced-by-count":14,"title":["SEDGE: Symbolic example data generation for dataflow programs"],"prefix":"10.1109","author":[{"given":"Kaituo","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christoph","family":"Reichenbach","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yannis","family":"Smaragdakis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yanlei","family":"Diao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christoph","family":"Csallner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","first-page":"419","article-title":"CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools","volume":"4144","author":"sen","year":"2006","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376726"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100152"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/2304510.2304518"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1559845.1559873"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1838126.1838133"},{"key":"14","author":"liang","year":"1999","journal-title":"Java Native Interface Programmer's Guide and Specification"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273005"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1868321.1868326"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321635"},{"key":"20","first-page":"1","article-title":"Combining static and dynamic reasoning for bug detection","author":"smaragdakis","year":"2007","journal-title":"TAP"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.14778\/1687553.1687609"},{"key":"23","first-page":"134","article-title":"Pex-white box test generation for .NET","volume":"4966","author":"tillmann","year":"2008","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.424"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17511-4_24"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985876"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247520"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2007.367896"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-011-7082-y"},{"key":"7","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/11537328_2","article-title":"Execution generated test cases: How to make systems code crash itself","volume":"3639","author":"cadar","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"6","first-page":"68","article-title":"Automatic verification of pipelined microprocessor control","author":"burch","year":"1994","journal-title":"Proc 6th International Conference on Computer Aided Verification (CAV)"},{"key":"5","first-page":"470","article-title":"Exploiting positive equality in a logic of equality with uninterpreted functions","author":"bryant","year":"1999","journal-title":"Proc 11th International Conference on Computer Aided Verification (CAV)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.91"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273484"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","location":"Silicon Valley, CA, USA","start":{"date-parts":[[2013,11,11]]},"end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693083.pdf?arnumber=6693083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:23:04Z","timestamp":1498094584000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693083\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693083","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}