{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T15:30:16Z","timestamp":1783351816291,"version":"3.54.6"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319699257","type":"print"},{"value":"9783319699264","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-69926-4_25","type":"book-chapter","created":{"date-parts":[[2017,10,27]],"date-time":"2017-10-27T06:55:09Z","timestamp":1509087309000},"page":"351-367","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Is 100% Test Coverage a Reasonable Requirement? Lessons Learned from a Space Software Project"],"prefix":"10.1007","author":[{"given":"Christian R.","family":"Prause","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J\u00fcrgen","family":"Werner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kay","family":"Hornig","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sascha","family":"Bosecker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Kuhrmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,10,28]]},"reference":[{"key":"25_CR1","unstructured":"Adler, M.: Spirit Sol 18 Anomaly, September 2006. http:\/\/web.archive.org\/web\/20110605095126\/www.planetary.org\/blog\/article\/00000702"},{"issue":"6","key":"25_CR2","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/255656.255696","volume":"40","author":"LJ Arthur","year":"1997","unstructured":"Arthur, L.J.: Quantum improvements in software system quality. Commun. ACM 40(6), 46\u201352 (1997)","journal-title":"Commun. ACM"},{"key":"25_CR3","unstructured":"Bennett, T., Wennberg, P.: Eliminating embedded software defects prior to integration test. Qual. Assur. Inst. J. (2006)"},{"issue":"9","key":"25_CR4","doi-asserted-by":"crossref","first-page":"896","DOI":"10.1145\/4284.315122","volume":"28","author":"J Bentley","year":"1985","unstructured":"Bentley, J.: Programming pearls. Commun. ACM 28(9), 896\u2013901 (1985)","journal-title":"Commun. ACM"},{"issue":"1","key":"25_CR5","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1109\/2.962984","volume":"34","author":"B Boehm","year":"2001","unstructured":"Boehm, B., Basili, V.R.: Software defect reduction top 10 list. Computer 34(1), 135\u2013137 (2001)","journal-title":"Computer"},{"key":"25_CR6","unstructured":"ECSS-E-ST-40 Working Group: ECSS-E-ST-40C: Space engineering - Software. Standard, ECSS Secretariat, March 2009"},{"key":"25_CR7","unstructured":"ECSS-Q-ST-30 Working Group: ECSS-Q-ST-30C: Space product assurance - Dependability. Standard, ECSS Secretariat, March 2009"},{"key":"25_CR8","unstructured":"ECSS-Q-ST-80C Working Group: ECSS-Q-ST-80C: Space product assurance - Software product assurance. Standard, ECSS Secretariat, March 2009"},{"key":"25_CR9","unstructured":"ESA: Sentinel online (2017). https:\/\/sentinel.esa.int"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Fucci, D., Erdogmus, H., Turhan, B., Oivo, M., Juristo, N.: A dissection of test-driven development: does it really matter to test-first or to test-last? IEEE Trans. Softw. Eng. (2017, in Press)","DOI":"10.1109\/TSE.2016.2616877"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Garousi, V., Felderer, M.: Worlds apart: a comparison of industry and academic focus areas in software testing. IEEE Softw. (2017, in press)","DOI":"10.1109\/MS.2017.265100233"},{"issue":"3","key":"25_CR12","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF03194493","volume":"12","author":"SS Gokhale","year":"2006","unstructured":"Gokhale, S.S., Mullen, R.E.: The marginal value of increased testing: an empirical analysis using four code coverage measures. J. Braz. Comput. Soc. 12(3), 13\u201330 (2006)","journal-title":"J. Braz. Comput. Soc."},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-319-26844-6_25","volume-title":"Product-Focused Software Process Improvement","author":"JTM Ingibergsson","year":"2015","unstructured":"Ingibergsson, J.T.M., Schultz, U.P., Kuhrmann, M.: On the use of safety certification practices in autonomous field robot software development: a systematic mapping study. In: Abrahamsson, P., Corral, L., Oivo, M., Russo, B. (eds.) PROFES 2015. LNCS, vol. 9459, pp. 335\u2013352. Springer, Cham (2015). doi: 10.1007\/978-3-319-26844-6_25"},{"key":"25_CR14","unstructured":"Marick, B.: How to misuse code coverage. In: Proceedings of the 16th International Conference on Testing Computer Software, pp. 16\u201318 (1999)"},{"key":"25_CR15","volume-title":"The Clean Coder: A Code of Conduct for Professional Programmers","author":"RC Martin","year":"2011","unstructured":"Martin, R.C.: The Clean Coder: A Code of Conduct for Professional Programmers. Pearson Education, Upper Saddle River (2011)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Mockus, A., Nagappan, N., Dinh-Trong, T.T.: Test coverage and post-verification defects: a multiple case study. In: 2009 3rd International Symposium on Empirical Software Engineering and Measurement, pp. 291\u2013301, October 2009","DOI":"10.1109\/ESEM.2009.5315981"},{"key":"25_CR17","unstructured":"NASA: NASA Missions: Space Station, September 2013. https:\/\/www.nasa.gov\/mission_pages\/station\/news\/orbital_debris.html"},{"key":"25_CR18","unstructured":"NBC News: German satellite crashed over Asia\u2019s Bay of Bengal, October 2011. http:\/\/www.nbcnews.com\/id\/45032034\/ns\/technology_and_science-space"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-319-31545-4_8","volume-title":"Managing Software Process Evolution: Traditional, Agile and Beyond \u2013 How to Handle Process Change","author":"CR Prause","year":"2016","unstructured":"Prause, C.R., Bibus, M., Dietrich, C., Jobi, W.: Managing software process evolution for spacecraft from a customer\u2019s perspective. In: Kuhrmann, M., M\u00fcnch, J., Richardson, I., Rausch, A., Zhang, H. (eds.) Managing Software Process Evolution: Traditional, Agile and Beyond \u2013 How to Handle Process Change, pp. 137\u2013163. Springer, Cham (2016). doi: 10.1007\/978-3-319-31545-4_8"},{"key":"25_CR20","unstructured":"Tolker-Nielsen, T.: EXOMARS 2016 - Schiaparelli anomaly inquiry. Report DG-I\/2017\/546\/TTN, European Space Agency (ESA), May 2017"},{"key":"25_CR21","unstructured":"Vector Software, Inc.: Software testing technology report, p. 2016. Technical report, Vector Software, September 2016"},{"key":"25_CR22","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1038\/nature.2016.19835","volume":"533","author":"A Witze","year":"2016","unstructured":"Witze, A.: Software error doomed Japanese Hitomi spacecraft. Nature 533, 18\u201319 (2016)","journal-title":"Nature"},{"key":"25_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29044-2"}],"container-title":["Lecture Notes in Computer Science","Product-Focused Software Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69926-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T03:23:56Z","timestamp":1570245836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-69926-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319699257","9783319699264"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69926-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}