{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:25Z","timestamp":1740098965285,"version":"3.37.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319703886"},{"type":"electronic","value":"9783319703893"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70389-3_16","type":"book-chapter","created":{"date-parts":[[2017,11,11]],"date-time":"2017-11-11T09:42:30Z","timestamp":1510393350000},"page":"221-224","source":"Crossref","is-referenced-by-count":0,"title":["Embedded Functions for Test Design Automation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0865-1679","authenticated-orcid":false,"given":"George B.","family":"Sherwood","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,12]]},"reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/MS.2017.15","volume":"34","author":"D Spinellis","year":"2017","unstructured":"Spinellis, D.: Software-engineering the Internet of Things. IEEE Software 34(1), 4\u20136 (2017)","journal-title":"IEEE Software"},{"issue":"7","key":"16_CR2","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/3102112","volume":"60","author":"VG Cerf","year":"2017","unstructured":"Cerf, V.G.: A brittle and fragile future. Communications of the ACM 60(7), 7 (2017)","journal-title":"Communications of the ACM"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Sherwood, G.B.: Embedded functions in combinatorial test designs. In: IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 1\u201310. IEEE, Graz, Austria (2015)","DOI":"10.1109\/ICSTW.2015.7107432"},{"key":"16_CR4","unstructured":"Sherwood, G.B.: Test design automation: equivalence classes, boundaries, edges and corner cases, July 3, 2016. \nhttp:\/\/testcover.com\/pub\/background\/ecbecc.pdf\n\n (last accessed July 27, 2017)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Sherwood, G.B.: Embedded functions for constraints and variable strength in combinatorial testing. In: IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 65\u201374. IEEE, Chicago, IL, USA (2016)","DOI":"10.1109\/ICSTW.2016.16"},{"key":"16_CR6","unstructured":"Testcover.com embedded functions examples (2017). \nhttp:\/\/testcover.com\/pub\/background\/examples2017.php\n\n (last accessed July 27, 2017)"},{"key":"16_CR7","unstructured":"Achour, M., Betz, F., Dovgal, A., et al.: PHP Manual. \nhttp:\/\/php.net\/manual\/en\/index.php\n\n (last accessed July 27, 2017)"},{"key":"16_CR8","unstructured":"About Testcover.com. \nhttp:\/\/testcover.com\/pub\/about.php\n\n (last accessed July 27, 2017)"},{"key":"16_CR9","unstructured":"Testcover.com performance. \nhttp:\/\/testcover.com\/pub\/performance.php\n\n (last accessed July 27, 2017)"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70389-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,11]],"date-time":"2017-11-11T09:49:48Z","timestamp":1510393788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70389-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319703886","9783319703893"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70389-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}