{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:22:13Z","timestamp":1763457733654,"version":"3.37.3"},"reference-count":77,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1657299"],"award-info":[{"award-number":["CCF-1657299"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2020,7,1]]},"DOI":"10.1109\/tse.2018.2869146","type":"journal-article","created":{"date-parts":[[2018,9,6]],"date-time":"2018-09-06T19:26:26Z","timestamp":1536261986000},"page":"748-772","source":"Crossref","is-referenced-by-count":9,"title":["Ensuring the Observability of Structural Test Obligations"],"prefix":"10.1109","volume":"46","author":[{"given":"Ying","family":"Meng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6794-9585","authenticated-orcid":false,"given":"Gregory","family":"Gay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Whalen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93576"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-1539-9_13"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273490"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2004.17"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_20"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.05.030"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.32"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"article-title":"Assessing test quality","year":"2011","author":"schuler","key":"ref75"},{"key":"ref38","first-page":"44","article-title":"The oracle assumption of program testing","author":"weyuker","year":"1980","journal-title":"Proc of 13th Int Conf on System Science"},{"year":"2015","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/WST.1988.5370"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120825"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"900","DOI":"10.1109\/32.92910","article-title":"Constraint-based automatic test data generation","volume":"17","author":"millo","year":"1991","journal-title":"IEEE Trans Softw Eng"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231514"},{"article-title":"Verifying safety properties of lustre programs: An smt-based approach","year":"2008","author":"hagen","key":"ref36"},{"year":"2004","key":"ref35","article-title":"SCADE Suite product description"},{"year":"2015","key":"ref34"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568271"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP.2017.27"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.86"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66299-2_13"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9299-z"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483774"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081186"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.01.003"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100138"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569832"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2002.808438"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/2897010.2897012"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368111"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2934672"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.457"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.38"},{"article-title":"An investigation of three forms of the modified condition decision coverage (MCDC) criterion","year":"2001","author":"chilenski","key":"ref24"},{"year":"0","key":"ref23","article-title":"Software considerations in airborne systems and equipment certification"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635929"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1017\/9781316771273"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88194-0_8"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/318774.318939"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2009.5315981"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.08.024"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072998"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1868048.1868049"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.2307\/3001968"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572280"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2004.1281742"},{"article-title":"JKind—A Java implementation of the KIND model checker","year":"2015","author":"gacek","key":"ref52"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606556"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2421011"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227132"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381816"},{"journal-title":"Software Testing in the Real World Improving the Process","year":"1995","author":"kit","key":"ref13"},{"journal-title":"Effective Methods for Software Testing","year":"2006","author":"perry","key":"ref14"},{"journal-title":"Software Test and Analysis Process Principles and Techniques","year":"2006","author":"pezze","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661157"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2001.922409"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1023\/B:EMSE.0000013513.48963.1b"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227132"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2436920"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"ref5","first-page":"892","article-title":"Better testing through oracle selection (NIER track)","author":"staats","year":"2011","journal-title":"Proc 3rd Int Conf Software Engineering"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45648-1_15"},{"year":"0","key":"ref7","article-title":"Special Committee 167 \/ Working Group 12 of RTCA and EUROCAE. DO-178B\/ED-12B"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2615311"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"ref45","first-page":"1","article-title":"SCADE 6: A formal language for embedded critical software development","author":"cola\u00e7o","year":"2017","journal-title":"Proc 7th Int Symp Theoretical Aspects Softw Eng"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_28"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2593833.2593837"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/43.936381"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100062"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/j.jlap.2010.03.012","article-title":"An overview of the K semantic framework","volume":"79","author":"rosu","year":"2010","journal-title":"J Logic Algebraic Program"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90014-7"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/32\/9141542\/8456606-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9141542\/08456606.pdf?arnumber=8456606","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:34:46Z","timestamp":1651070086000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8456606\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,1]]},"references-count":77,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tse.2018.2869146","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2020,7,1]]}}}