{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:18:39Z","timestamp":1763468319011,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/issre.2015.7381816","type":"proceedings-article","created":{"date-parts":[[2016,1,14]],"date-time":"2016-01-14T23:50:11Z","timestamp":1452815411000},"page":"228-238","source":"Crossref","is-referenced-by-count":4,"title":["Efficient observability-based test generation by dynamic symbolic execution"],"prefix":"10.1109","author":[{"given":"Dongjiang","family":"You","sequence":"first","affiliation":[]},{"given":"Sanjai","family":"Rayadurgam","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Whalen","sequence":"additional","affiliation":[]},{"given":"Mats P. E.","family":"Heimdahl","sequence":"additional","affiliation":[]},{"given":"Gregory","family":"Gay","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0118-1"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273490"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2009.5069037"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2004.1347530"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"ref10","first-page":"281","article-title":"Pathcrawler: Automatic generation of path tests by combining static and dynamic analysis","author":"williams","year":"2005","journal-title":"Proceedings of the 5th European Dependable Computing Conference"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"ref12","first-page":"151","article-title":"Automated whitebox fuzz testing","volume":"8","author":"godefroid","year":"2008","journal-title":"Proc Symp Network and Distributed System Security"},{"journal-title":"A Practical Tutorial on Modified Condition\/Decision Coverage","year":"2001","author":"hayhurst","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/43.936381"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MiSE.2013.6595290"},{"year":"2015","key":"ref17","article-title":"MathWorks Simulink"},{"year":"2015","key":"ref18","article-title":"MathWorks Stateflow"},{"year":"2015","key":"ref19","article-title":"MathWorks Matlab Coder"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568271"},{"key":"ref4","first-page":"418","article-title":"An observability-based code coverage metric for functional simulation","author":"devadas","year":"1997","journal-title":"Proceedings of the 1996 IEEE\/ACM International conference on Computer-aided Design"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2436920"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368111"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2421011"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572280"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606556"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1081706.1081750","article-title":"CUTE: a concolic unit testing engine for C","author":"sen","year":"2005","journal-title":"Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th International Symposium on Foundations of Software Engineering"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"year":"2011","key":"ref2","article-title":"DO-178C, software considerations in airborne systems and equipment certification"},{"key":"ref9","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"cadar","year":"2008","journal-title":"Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48166-4_10"},{"year":"2015","key":"ref22","article-title":"JKind"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2001.922409"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.256"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225018"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88194-0_8"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"}],"event":{"name":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2015,11,2]]},"location":"Gaithersbury, MD, USA","end":{"date-parts":[[2015,11,5]]}},"container-title":["2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7374093\/7381793\/07381816.pdf?arnumber=7381816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T23:46:34Z","timestamp":1498261594000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7381816\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/issre.2015.7381816","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}