{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:17:50Z","timestamp":1743095870465,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319231280"},{"type":"electronic","value":"9783319231297"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23129-7_4","type":"book-chapter","created":{"date-parts":[[2015,8,27]],"date-time":"2015-08-27T09:03:18Z","timestamp":1440666198000},"page":"46-61","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Considering Execution Environment Resilience: A White-Box Approach"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Klikovits","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David P. Y.","family":"Lawrence","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Gonzalez-Berges","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Didier","family":"Buchs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,28]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Qu, X., Robinson, B.: A case study of concolic testing tools and their limitations. In: 2011 International Symposium on Empirical Software Engineering and Measurement, pp. 117\u2013126. IEEE Computer Society, Los Alamitos (2011)","DOI":"10.1109\/ESEM.2011.20"},{"issue":"6","key":"4_CR2","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/390016.808444","volume":"10","author":"JC King","year":"1975","unstructured":"King, J.C.: A new approach to program testing. ACM SIGPLAN Not. 10(6), 228\u2013233 (1975). ACM, New York","journal-title":"ACM SIGPLAN Not."},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"11:1","DOI":"10.1145\/1883612.1883618","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. 43(2), 11:1\u201311:29 (2011). ACM, New York","journal-title":"ACM Comput. Surv."},{"key":"4_CR4","unstructured":"Colbourn, C.J.: Combinatorial aspects of covering arrays. In: Le Matematiche, vol. 58, Catania, Italy (2004)"},{"key":"4_CR5","unstructured":"Haskell. Functional programming (2014)"},{"issue":"8","key":"4_CR6","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., Harman, M., Harrold, M.J., Mcminn, P.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8), 1978\u20132001 (2013)","journal-title":"J. Syst. Softw."},{"key":"4_CR7","unstructured":"ETM Professional Control: WinCC OA at a glance. Technical report, Siemens AG (2012)"},{"key":"4_CR8","unstructured":"ETM Professional Control: Control script language (2015). http:\/\/etm.at\/index_e.asp?id=2&sb1=54&sb2=118&sb3=&sname=&sid=&seite_id=118. Accessed 18 Apr 2015"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Sward, R.E., Chamillard, A.T.: Re-engineering global variables in Ada. In: Proceedings of the 2004 ACM SIGAda International Conference on Ada, pp. 29\u201334. ACM, New York (2003)","DOI":"10.1145\/1046191.1032303"},{"issue":"5","key":"4_CR10","doi-asserted-by":"publisher","first-page":"264","DOI":"10.4236\/jsea.2013.65033","volume":"6","author":"H Sankaranarayanan","year":"2013","unstructured":"Sankaranarayanan, H., Kulkarni, P.: Source-to-source refactoring and elimination of global variables in C programs. J. Softw. Eng. Appl. 6(5), 264\u2013273 (2013)","journal-title":"J. Softw. Eng. Appl."},{"key":"4_CR11","unstructured":"Meszaros, G.: Test double patterns (Chapter 23). In: XUnit Test Patterns: Refactoring Test Code, pp. 521\u2013590. Prentice Hall PTR, Upper Saddle River (2006)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/3-540-61772-8_45","volume-title":"Dependable Computing - EDCC-2","author":"S Barbey","year":"1996","unstructured":"Barbey, S., Buchs, D., P\u00e9raire, C.: A theory of specification-based testing for object-oriented software. In: Hlawiczka, A., Simoncini, L., Silva, J.G.S. (eds.) EDCC 1996. LNCS, vol. 1150, pp. 303\u2013320. Springer, Heidelberg (1996)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science (The International Federation for Information Processing)","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-0-387-35358-6_25","volume-title":"Programming Concepts and Methods","author":"C P\u00e9raire","year":"1998","unstructured":"P\u00e9raire, C., Barbey, S., Buchs, D.: Test selection for object-oriented software based on formal specifications. In: Gries, D., de Roever, W.-P. (eds.) PROCOMET 1998. LNCS (IFIP), pp. 385\u2013403. Springer, New York (1998)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-3-319-12241-0_11","volume-title":"Software Engineering for Resilient Systems","author":"D Lawrence","year":"2014","unstructured":"Lawrence, D., Buchs, D., Wellig, A.: Using instrumentation for quality assessment of resilient software in embedded systems. In: Majzik, I., Vieira, M. (eds.) SERENE 2014. LNCS, vol. 8785, pp. 139\u2013153. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23129-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T07:48:01Z","timestamp":1676965681000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23129-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319231280","9783319231297"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23129-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}