{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T16:57:11Z","timestamp":1648918631563},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/tr.2015.2436443","type":"journal-article","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T18:36:15Z","timestamp":1434738975000},"page":"1098-1115","source":"Crossref","is-referenced-by-count":0,"title":["Theory of Software Testing With Persistent State"],"prefix":"10.1109","volume":"64","author":[{"given":"Dick","family":"Hamlet","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"230","article-title":"On computable numbers, with an application to the entscheidungsproblem","volume":"42","author":"turing","year":"1936","journal-title":"Proc Lond Math Soc Series 2"},{"key":"ref38","author":"popper","year":"1959","journal-title":"The Logic of Scientific Discovery"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146251"},{"key":"ref32","author":"bentley","year":"1986","journal-title":"Programming Pearls"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/32.825766"},{"key":"ref37","author":"hardy","year":"1940","journal-title":"A Mathematician s Apology"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/194313.214781"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/27651.27653"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxr090"},{"key":"ref28","year":"2010","journal-title":"Software and Systems Engineering Vocabulary"},{"key":"ref27","author":"musa","year":"1990","journal-title":"Software Reliability"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"ref2","author":"mathur","year":"2013","journal-title":"Foundations of Software Testing"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref20","author":"ducklin","year":"2014","journal-title":"Anatomy of a \"goto fail\" - Apple's SSL bug explained plus an unofficial patch for OS X"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.376"},{"key":"ref21","author":"b\ufffdrger","year":"2003","journal-title":"Abstract State Machines A Method for High-Level System Design and Analysis"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-7148-7"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1525880.1525885"},{"key":"ref26","author":"mills","year":"1987","journal-title":"Principles of Computer Programming A Mathematical Approach"},{"key":"ref25","author":"kleene","year":"1952","journal-title":"Introduction to Metamathematics"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24756-2_1"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592438"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.707695"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1993.627312"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","article-title":"Assigning meanings to programs","volume":"19","author":"floyd","year":"1967","journal-title":"Proc of a Symposium in Applied Mathematics"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/52.60601"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1147\/rd.281.0002"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/52.199724"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.210303"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1166591"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1363102.1363107"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.02.022"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30502-6_23"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312836"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.62448"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010257"},{"key":"ref5","author":"howden","year":"1987","journal-title":"Functional Program Testing and Analysis"},{"key":"ref8","author":"petroski","year":"1985","journal-title":"To Engineer Is Human The Role of Failure in Successful Design"},{"key":"ref7","first-page":"27","volume":"5","author":"manna","year":"1969","journal-title":"Machine Intelligence"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref9","first-page":"81","article-title":"Rare conditions?An important cause of failures","author":"hecht","year":"1993","journal-title":"Proc 8th Nat Computer Assurance Conf (COMPASS)"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1984.1659219"},{"key":"ref45","author":"lions","year":"1996","journal-title":"ARIANE 5?Flight 501 Failure?Report by the Inquiry Board"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200880"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312924"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108806"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"ref44","author":"addis","year":"1991","journal-title":"Structural Engineering The Nature of Theory and Design"},{"key":"ref43","author":"spivey","year":"1992","journal-title":"The Z Notation A Reference Manual"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/7229405\/07128757.pdf?arnumber=7128757","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:03:42Z","timestamp":1642003422000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7128757\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":51,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tr.2015.2436443","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9]]}}}