{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:27:51Z","timestamp":1725456471543},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613176"},{"type":"electronic","value":"9783540684572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0013476","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T03:54:12Z","timestamp":1132718052000},"page":"17-37","source":"Crossref","is-referenced-by-count":0,"title":["Reliability modeling for safety critical software"],"prefix":"10.1007","author":[{"given":"Norman F.","family":"Schneidewind","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"unstructured":"Recommended Practice for Software Reliability, R-013-1992, American National Standards Institute\/American Institute of Aeronautics and Astronautics, 370 L'Enfant Promenade, SW, Washington, DC 20024,1993.","key":"2_CR1"},{"issue":"No.1","key":"2_CR2","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1147\/sj.331.0046","volume":"33","author":"C. Billings","year":"1994","unstructured":"C. Billings, et al, \u201cJourney to a Mature Software Process\u201d, IBM Systems Journal Vol. 33, No. 1, 1994, pp. 46\u201361.","journal-title":"IBM Systems Journal"},{"issue":"No.4","key":"2_CR3","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1109\/32.277579","volume":"20","author":"S. R. Dalal","year":"1994","unstructured":"Siddhartha R. Dalal and Allen A. McIntosh, \u201cWhen to Stop Testing for Large Software Systems with Changing Code\u201d, IEEE Transactions on Software Engineering, Vol. 20, No. 4, April 1994, pp. 318\u2013323.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"No.2","key":"2_CR4","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1109\/49.46868","volume":"8","author":"S. R. Dalal","year":"1990","unstructured":"Siddhartha R. Dalal and Allen A. McIntosh, \u201cSome Graphical Aids for Deciding When to Stop Testing\u201d, IEEE Journal on Selected Areas in Communications, Vol. 8, No.2, February 1990, pp. 169\u2013175.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"unstructured":"William H. Farr and Oliver D. Smith, Statistical Modeling and Estimation of Reliability Functions for Software (SMERFS) Users Guide, NAVSWC TR-84-373, Revision 3, Naval Surface Weapons Center, Revised September 1993.","key":"2_CR5"},{"doi-asserted-by":"crossref","unstructured":"Willa Ehrlich, et al, \u201cDetermining the Cost of a Stop-Test Decision\u201d, IEEE Software, March 1993, pp. 33\u201342.","key":"2_CR6","DOI":"10.1109\/52.199726"},{"unstructured":"IEEE Standard Glossary of Software Engineering Terminology, IEEE Std 610.12.1990.","key":"2_CR7"},{"doi-asserted-by":"crossref","unstructured":"Ted Keller, Norman F. Schneidewind, and Patti A. Thornton \u201cPredictions for Increasing Confidence in the Reliability of the Space Shuttle Flight Software\u201d, Proceedings of the AIAA Computing in Aerospace 10, San Antonio, TX, March 28, 1995, pp. 1\u20138.","key":"2_CR8","DOI":"10.2514\/6.1995-951"},{"issue":"No.2","key":"2_CR9","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/7474.7528","volume":"18","author":"N. G. Leveson","year":"1986","unstructured":"Nancy G. Leveson, \u201cSoftware Safety: What, Why, and How\u201d, ACM Computing Surveys, Vol. 18, No. 2, June 1986, pp. 125\u2013163.","journal-title":"ACM Computing Surveys"},{"issue":"No.3","key":"2_CR10","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/52.28120","volume":"6","author":"J. D. Musa","year":"1989","unstructured":"John D. Musa and A. Frank Ackerman, \u201cQuantifying Software Validation: When to Stop Testing?\u201d, IEEE Software, Vol. 6, No. 3, May 1989, pp. 19\u201327.","journal-title":"IEEE Software"},{"key":"2_CR11","volume-title":"Software Reliability: Measurement, Prediction, Application","author":"J. D. Musa","year":"1987","unstructured":"John D. Musa, et al, Software Reliability: Measurement, Prediction, Application, McGraw-Hill, New York, 1987."},{"issue":"No.11","key":"2_CR12","doi-asserted-by":"crossref","first-page":"1095","DOI":"10.1109\/32.256856","volume":"19","author":"N. F. Schneidewind","year":"1993","unstructured":"Norman F. Schneidewind, \u201cSoftware Reliability Model with Optimal Selection of Failure Data\u201d, IEEE Transactions on Software Engineering, Vol. 19, No. 11, November 1993, pp. 1095\u20131104.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"No4","key":"2_CR13","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/52.143099","volume":"9","author":"N. F. Schneidewind","year":"1992","unstructured":"Norman F. Schneidewind and T. W. Keller, \u201cApplication of Reliability Models to the Space Shuttle\u201d, IEEE Software, Vol. 9, No, 4, July 1992 pp. 28\u201333.","journal-title":"IEEE Software"},{"doi-asserted-by":"crossref","unstructured":"Norman F. Schneidewind, \u201cAnalysis of Error Processes in Computer Software\u201d, Proceedings of the International Conference on Reliable Software, IEEE Computer Society, 21\u201323 April 1975, pp. 337\u2013346.","key":"2_CR14","DOI":"10.1145\/800027.808456"},{"issue":"No.4","key":"2_CR15","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1109\/32.90431","volume":"17","author":"N. D. Singpurwalla","year":"1991","unstructured":"Nozer D. Singpurwalla, \u201cDetermining an Optimal Time Interval for Testing and Debugging Software\u201d, IEEE Transactions on Software Engineering, Vol. 17, No. 4, April 1991, pp. 313\u2013319.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"No.3","key":"2_CR16","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/52.382180","volume":"12","author":"J. M. Voas","year":"1995","unstructured":"Jeffrey M. Voas and Keith W. Miller, \u201cSoftware Testability: The New Verification\u201d, IEEE Software, Vol. 12, No. 3, May 1995, pp. 17\u201328.","journal-title":"IEEE Software"},{"doi-asserted-by":"crossref","unstructured":"Elaine J. Weyuker, \u201cUsing the Consequences of Failures for Testing and Reliability Assessment\u201d, Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, Washington, D.C., October 10\u201313, 1995, pp. 81\u201391.","key":"2_CR17","DOI":"10.1145\/222124.222143"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,7]],"date-time":"2019-04-07T08:34:37Z","timestamp":1554626077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013476"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613176","9783540684572"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0013476","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}