{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:40:11Z","timestamp":1747579211257,"version":"3.40.5"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018927113776","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"191-200","source":"Crossref","is-referenced-by-count":3,"title":["Quality assurance and testing for safety systems"],"prefix":"10.1007","volume":"4","author":[{"given":"Herbert","family":"Hecht","sequence":"first","affiliation":[]},{"given":"Myron","family":"Hecht","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"326155_CR1","volume-title":"General Design Criteria for Nuclear Power Plants","author":"Code of Federal Regulations","year":"1986","unstructured":"Code of Federal Regulations (1986), General Design Criteria for Nuclear Power Plants, Volume 10, Part 50, Appendix A, Criterion 21 \u2014 Protection System Reliability and Testability, National Archives and Records Administration, Office of the Federal Register, Washington, DC."},{"key":"326155_CR2","volume-title":"Reliability Test Methods, Plans, and Environments for Engineering Development, Qualification and Production","author":"Department of Defense","year":"1987","unstructured":"Department of Defense (1987), Reliability Test Methods, Plans, and Environments for Engineering Development, Qualification and Production, MIL-HDBK-781, Department of Defense, Washington, DC."},{"issue":"7","key":"326155_CR3","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1109\/32.83905","volume":"17","author":"D.E. Eckhardt","year":"1991","unstructured":"Eckhardt, D.E., A.K. Caglayan, J.C. Knight, L.D. Lee, D.F. McAllister, M.A. Vouk, and J.P.J. Kelly (1991), \u201cAn Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability,\u201d IEEE Transactions on Software Engineering 17,7, 692\u2013702.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326155_CR4","first-page":"370","volume-title":"Proceedings of the 5th Conference Computers in Aerospace","author":"D.E. Eckhardt","year":"1985","unstructured":"Eckhardt, D.E. and L.D. Lee (1985), \u201cAn Analysis of the Effects of Coincident Errors on Multi-Version Software,\u201d In Proceedings of the 5th Conference Computers in Aerospace, AiAA, New York, NY, pp. 370\u2013373."},{"key":"326155_CR5","volume-title":"Advisory Circular 25.1309-1A","author":"FAA","year":"1988","unstructured":"FAA (1988), Advisory Circular 25.1309-1A, US Department of Transportation, Washington, DC."},{"key":"326155_CR6","first-page":"59","volume-title":"Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"R. Hamlet","year":"1993","unstructured":"Hamlet, R. and J. Voas (1993), \u201cFaults on Its Sleeve: Amplifying Software Reliability Testing,\u201d In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM Press, New York, NY, pp. 59\u201398."},{"key":"326155_CR7","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/CMPASS.1993.288855","volume-title":"Proceedings of COMPASS'93","author":"H. Hecht","year":"1993","unstructured":"Hecht, H. (1993), \u201cRare Conditions \u2014 An Important Cause of Failures,\u201d In Proceedings of COMPASS'93, IEEE, Piscataway, NJ, pp. 81\u201385."},{"key":"326155_CR8","first-page":"334","volume-title":"Proceedings of the 1994 Reliability and Maintainability Symposium","author":"H. Hecht","year":"1994","unstructured":"Hecht, H. and P. Crane (1994), \u201cRare Conditions and their Effect on Software Failures,\u201d In Proceedings of the 1994 Reliability and Maintainability Symposium, IEEE, Piscataway, NJ, pp. 334\u2013337."},{"key":"326155_CR9","series-title":"Technical Report","volume-title":"Verification and Validation Guidelines for High Integrity Systems","author":"H. Hecht","year":"1995","unstructured":"Hecht, H., M. Hecht, G. Dinsmore, S. Hecht, and D. Tang (1995), \u201cVerification and Validation Guidelines for High Integrity Systems,\u201d Technical Report NUREG\/CR-6293, US Nuclear Regulatory Commission, Washington, D.C."},{"key":"326155_CR10","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1002\/spe.4380080402","volume":"8","author":"W.E. Howden","year":"1978","unstructured":"Howden, W.E. (1978), \u201cAn Evaluation of the Effectiveness of Symbolic Testing,\u201d Software Practice and Experience 8, 381\u2013397.","journal-title":"Software Practice and Experience"},{"key":"326155_CR11","volume-title":"Safeware","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G. (1995), Safeware, Addison-Wesley, Reading, MA."},{"key":"326155_CR12","volume-title":"Software Reliability Measurement Prediction, Application","author":"J. Musa","year":"1987","unstructured":"Musa, J., A. Iannino, and K. Okumoto (1987), Software Reliability Measurement Prediction, Application, McGraw-Hill, New York, NY."},{"key":"326155_CR13","volume-title":"High Integrity Software for Nuclear Power Plants","author":"S. Seth","year":"1995","unstructured":"Seth, S., W. Bail, D. Cleaves, H. Cohen, D. Hybertson, C. Shaefer, G. Stark, A. Ta, and B. Ulery (1995), High Integrity Software for Nuclear Power Plants, NUREG\/CR-6263, US Nuclear Regulatory Commission, Washington, DC."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018927113776.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018927113776\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018927113776.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:14:19Z","timestamp":1747577659000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018927113776"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326155"],"URL":"https:\/\/doi.org\/10.1023\/a:1018927113776","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}