{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:24:22Z","timestamp":1742973862088,"version":"3.40.3"},"publisher-location":"Wiesbaden","reference-count":7,"publisher":"Springer Fachmedien Wiesbaden","isbn-type":[{"type":"print","value":"9783658099930"},{"type":"electronic","value":"9783658099947"}],"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-658-09994-7_15","type":"book-chapter","created":{"date-parts":[[2015,6,5]],"date-time":"2015-06-05T07:56:17Z","timestamp":1433490977000},"page":"287-289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing"],"prefix":"10.1007","author":[{"given":"Felix","family":"H\u00fcbner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,6]]},"reference":[{"key":"15_CR1","volume-title":"Clarke, Orna Grumberg, and Lucent Technologies. Model Checking","author":"M. Edmund","year":"1999","unstructured":"Edmund M. Clarke, Orna Grumberg, and Lucent Technologies. Model Checking. The MIT Press, Cambridge. Massachusetts, 1999."},{"issue":"3","key":"15_CR2","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T. S. Chow","year":"1978","unstructured":"T. S. Chow. Testing software design modeled by finite-state machines. IEEE Truns. Softw. Eng., 4(3):178- 187, May 1978.","journal-title":"IEEE Truns. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Jan Peleska. Industrial-strength model-based testing \u2013 state of the art and current challenges. Electronic Proceedings in Theoretical Computer Science, 111:3- 28, 2013. arXiv: 1303.1006.","key":"15_CR3","DOI":"10.4204\/EPTCS.111.1"},{"unstructured":"Object Management Group. OMG Unified Modeling Language (OMG UML), superstructure, version 2.4.1. Technical report, 2011.","key":"15_CR4"},{"doi-asserted-by":"crossref","unstructured":"Wen-ling Huang and Jan Peleska. Exhaustive model-based equivalence class testing. In Testing Software and Systems, number 8254 in Lecture Notes in Computer Science, pages 49- 64. Springer Berlin Heidelberg, 2013.","key":"15_CR5","DOI":"10.1007\/978-3-642-41707-8_4"},{"doi-asserted-by":"crossref","unstructured":"Cecile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hiibner, Jan Peleska, Uwe Schulze, and Linh Vu Hong. Complete model-based equivalence class testing for the ETCS ceiling speed monitor. In Formal Methods and Software Engineering, number 8829 in Lecture Notes in Computer Science, pages 380- 395. Springer Berlin Heidelberg, 2014.","key":"15_CR6","DOI":"10.1007\/978-3-319-11737-9_25"},{"key":"15_CR7","first-page":"19","volume":"1-","author":"Huang Wen-ling","year":"2014","unstructured":"Wen-ling Huang and Jan Peleska. Complete model-based equivalence class testing. International Journal on Software Tools for Technology Transfer, pages 1- 19, 2014.","journal-title":"International Journal on Software Tools for Technology Transfer"}],"container-title":["Formal Modeling and Verification of Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-658-09994-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T11:46:29Z","timestamp":1675856789000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-658-09994-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783658099930","9783658099947"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-658-09994-7_15","relation":{},"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"6 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}