{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T17:38:14Z","timestamp":1781804294279,"version":"3.54.5"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icst.2015.7102631","type":"proceedings-article","created":{"date-parts":[[2015,5,8]],"date-time":"2015-05-08T15:54:04Z","timestamp":1431100444000},"page":"1-8","source":"Crossref","is-referenced-by-count":6,"title":["SEViz: A Tool for Visualizing Symbolic Execution"],"prefix":"10.1109","author":[{"given":"David","family":"Honfi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andras","family":"Voros","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zoltan","family":"Micskei","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/2642937.2642941","article-title":"Transferring an Automated Test Generation Tool to Practice: From Pex to Fakes and Code Digger","author":"tillmann","year":"2014","journal-title":"Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering ser ASE '14"},{"key":"ref11","article-title":"eqqon GmbH","year":"2013","journal-title":"GitSharp"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.67"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368127"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985976"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270315"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An Efficient SMT Solver","volume":"4963","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems Ser LNCS"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.3.CO;2-E"},{"key":"ref18","author":"rodemeyer","year":"2007","journal-title":"Dot2WPF - a WPF control for viewing Dot graphs"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2012.02.006"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","article-title":"Pex-White Box Test Generation for. NET","volume":"4966","author":"tillmann","year":"2008","journal-title":"Tests and Proofs ser LNCS"},{"key":"ref5","author":"barrett","year":"2010","journal-title":"The Satisfiability Modulo Theories Library (SMT-LIB)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483774"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2011.20"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"ref9","first-page":"1","article-title":"Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component","volume":"22","author":"braione","year":"2013","journal-title":"Software Quality Journal"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568273"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859022"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19811-3_18"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09099-3_7"}],"event":{"name":"2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)","location":"Graz, Austria","start":{"date-parts":[[2015,4,13]]},"end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7102553\/7102573\/07102631.pdf?arnumber=7102631","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,7]],"date-time":"2022-05-07T15:16:49Z","timestamp":1651936609000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7102631\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/icst.2015.7102631","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}