{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T17:01:24Z","timestamp":1742403684928},"reference-count":14,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[2000,6,1]],"date-time":"2000-06-01T00:00:00Z","timestamp":959817600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2000,6]]},"DOI":"10.1016\/s0164-1212(99)00143-0","type":"journal-article","created":{"date-parts":[[2003,4,4]],"date-time":"2003-04-04T21:09:52Z","timestamp":1049490592000},"page":"165-172","source":"Crossref","is-referenced-by-count":26,"title":["Dependability certification of software components"],"prefix":"10.1016","volume":"52","author":[{"given":"Jeffrey","family":"Voas","sequence":"first","affiliation":[]},{"given":"Jeffery","family":"Payne","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/S0164-1212(99)00143-0_BIB1","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1109\/32.265635","article-title":"The effect of imperfect error detection on reliability assessment via life testing","volume":"20","author":"Ammann","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"10.1016\/S0164-1212(99)00143-0_BIB2","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","article-title":"Hints on test data selection: Help for the practicing programmer","volume":"11","author":"Demillo","year":"1978","journal-title":"IEEE Computer"},{"key":"10.1016\/S0164-1212(99)00143-0_BIB3","unstructured":"Friedman, M., Voas, J., 1995. Software Assessment: Reliability, Safety, Testability. Wiley, New York. ISBN 0471-01009-X"},{"key":"10.1016\/S0164-1212(99)00143-0_BIB4","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1080\/01621459.1963.10500830","article-title":"Probability inequalities for sums of bounded random variables","author":"Hoeffding","year":"1963","journal-title":"American Statistical Association Journal"},{"key":"10.1016\/S0164-1212(99)00143-0_BIB5","unstructured":"Michael, C.C., 1996. On the regularity of error propagation in software. Technical report, Reliable Software Technologies Corporation, Sterling, Virginia Research Division. Technical Report. RSTR-96-003-04"},{"key":"10.1016\/S0164-1212(99)00143-0_BIB6","unstructured":"Musa, J.D., Iannino, A., Okumoto, K., 1987. Software Reliability Measurement Prediction Application. McGraw-Hill, New York. ISBN 0-07-044093-X"},{"key":"10.1016\/S0164-1212(99)00143-0_BIB7","series-title":"The Art of Software Testing","author":"Myers","year":"1979"},{"issue":"8","key":"10.1016\/S0164-1212(99)00143-0_BIB8","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1109\/32.153381","article-title":"PIE: A dynamic failure-based technique","volume":"18","author":"Voas","year":"1992","journal-title":"IEEE Trans. Software Engineering"},{"issue":"2","key":"10.1016\/S0164-1212(99)00143-0_BIB9","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1109\/52.582981","article-title":"How assertions can increase test effectiveness?","volume":"14","author":"Voas","year":"1997","journal-title":"IEEE Software"},{"key":"10.1016\/S0164-1212(99)00143-0_BIB10","unstructured":"Voas, J., Kassab, L., 1999. Using assertions to make untestable software more testable. Software Quality Professional 23"},{"key":"10.1016\/S0164-1212(99)00143-0_BIB11","unstructured":"Voas, J., McGraw, G., 1998. Software Fault Injection: Inoculating Programs Against Errors, Wiley, New York"},{"key":"10.1016\/S0164-1212(99)00143-0_BIB12","doi-asserted-by":"crossref","unstructured":"Voas, J., Miller, K., 1992a. Improving the Software Development Process Using Testability Research. In: Proceedings of the Third International Symposium on Software Reliability Engineering. Research Triangle Park, NC, IEEE Computer Society, pp. 114\u2013121","DOI":"10.1109\/ISSRE.1992.285852"},{"issue":"1","key":"10.1016\/S0164-1212(99)00143-0_BIB13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1002\/stvr.4370020105","article-title":"The revealing power of a test case","volume":"2","author":"Voas","year":"1992","journal-title":"Journal of Testing Verification and Reliability"},{"issue":"3","key":"10.1016\/S0164-1212(99)00143-0_BIB14","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/52.382180","article-title":"Software testability: The new verification","volume":"12","author":"Voas","year":"1995","journal-title":"IEEE Software"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121299001430?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121299001430?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T08:24:05Z","timestamp":1555230245000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121299001430"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,6]]},"references-count":14,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2000,6]]}},"alternative-id":["S0164121299001430"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(99)00143-0","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2000,6]]}}}