{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:24Z","timestamp":1755220944346,"version":"3.43.0"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1997,12,1]],"date-time":"1997-12-01T00:00:00Z","timestamp":880934400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,12,1]],"date-time":"1997-12-01T00:00:00Z","timestamp":880934400000},"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":["Software Quality Journal"],"published-print":{"date-parts":[[1997,12]]},"DOI":"10.1023\/a:1018532607070","type":"journal-article","created":{"date-parts":[[2003,2,6]],"date-time":"2003-02-06T18:01:37Z","timestamp":1044554497000},"page":"327-336","source":"Crossref","is-referenced-by-count":5,"title":["Software testability measurement for intelligent assertion placement"],"prefix":"10.1007","volume":"6","author":[{"given":"Jeffrey","family":"Voas","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"173879_CR1","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1109\/32.153381","volume":"18","author":"J. Voas","year":"1992","unstructured":"Voas J. PIE: a dynamic failure-based technique. IEEE Transactions on Software Engineering, 18(1992) 717-727.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"173879_CR2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1109\/32.485220","volume":"22","author":"A. Bertolino","year":"1995","unstructured":"Bertolino A. and Strigini L. On the use of testability measures for dependability assessment. IEEE Transactions on Software Engineering, 22(1995) 97-108.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"173879_CR3","doi-asserted-by":"crossref","unstructured":"Luckham D. and von Henke F. An overview of ANNA, a specification language for Ada. IEEE Software, March (1985) 9-22.","DOI":"10.1109\/MS.1985.230345"},{"key":"173879_CR4","volume-title":"Eiffel the Language","author":"B. Meyer","year":"1992","unstructured":"Meyer B. Eiffel the Language (Prentice-Hall, Englewood Cliffs, NJ, 1992)."},{"key":"173879_CR5","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1109\/32.265635","volume":"20","author":"P.E. Ammann","year":"1994","unstructured":"Ammann P.E., Brilliant S.S. and Knight J.C. The effect of imperfect error detection on reliability assessment via life testing. IEEE Transactions on Software Engineering, 20(1994) 142-148.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"173879_CR6","unstructured":"Reliable Software Technologies Corporation. Testability of object-oriented systems. Technical report, Sterling, Virginia, December 1994. Final Report for Contract 50-DKNA-4-00119."},{"key":"173879_CR7","unstructured":"Yin H. and Bieman J.M. Improving software testability with assertion insertion. In Proceedings of International Test Conference, October 1994."},{"key":"173879_CR8","doi-asserted-by":"crossref","unstructured":"Voas J. and Miller K. Putting assertions in their place. In Proceedings of the International Symposium on Software Reliability Engineering, pp. 152-157, Monterey, CA, November 1994. IEEE Computer Society Press.","DOI":"10.1109\/ISSRE.1994.341367"},{"key":"173879_CR9","unstructured":"Voas J. Software testability measurement for assertion placement and fault localization. In Proceedings of 2nd Workshop on Automated and Algorithmic Debugging, St Malo, France, May 1995."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018532607070.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018532607070\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018532607070.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:04:21Z","timestamp":1754629461000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018532607070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,12]]},"references-count":9,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,12]]}},"alternative-id":["173879"],"URL":"https:\/\/doi.org\/10.1023\/a:1018532607070","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[1997,12]]}}}