{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:37:38Z","timestamp":1747975058553,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319174037"},{"type":"electronic","value":"9783319174044"}],"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-17404-4_1","type":"book-chapter","created":{"date-parts":[[2015,4,16]],"date-time":"2015-04-16T08:45:59Z","timestamp":1429173959000},"page":"3-16","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Implementation Framework for Optimizing Test Case Generation Using Model Checking"],"prefix":"10.1007","author":[{"given":"Longhui","family":"Chang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gongzheng","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,17]]},"reference":[{"key":"1_CR1","volume-title":"Model Checking","author":"EM Clarke Jr","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, 31 October\u20132 November, Providence, Rhode Island, USA, pp. 46\u201357. IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Mahajan, Y.S., Fu, Z., Malik, S.: Zchaff2004: an efficient SAT solver. In: SAT (Selected Papers), pp. 360\u2013375 (2004)","DOI":"10.1007\/11527695_27"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-48294-6_22","volume-title":"Static Analysis","author":"M M\u00fcller-Olm","year":"1999","unstructured":"M\u00fcller-Olm, M., Schmidt, D.A., Steffen, B.: Model checking: a tutorial introduction. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330\u2013354.Springer, Heidelberg (1999)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Li, L., Miao, H., Chen, S.: Test generation for web application using model-checking. In: 2010 11th ACIS International Conference, software engineering artificial intelligence networking and parallel\/distributed computing (SNPD), pp. 9\u201311 (2010)","DOI":"10.1109\/SNPD.2010.43"},{"issue":"3","key":"1_CR6","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1287\/moor.4.3.233","volume":"4","author":"V Chvatal","year":"1979","unstructured":"Chvatal, V.: A Greedy heuristic for the set-covering problem. mathematics of operations research. Math. Oper. Res. 4(3), 233\u2013235 (1979)","journal-title":"Math. Oper. Res."},{"key":"1_CR7","unstructured":"Cavada, R., Cimatti, A., Jochim, C.A., Keighten, G., Olivetti, E., Pistore, M., Roveri, M., Tchaltsev, A.: NuSMV 2.5. User Manual."},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/TSE.2010.68","volume":"37","author":"M Kim","year":"2011","unstructured":"Kim, M., Kim, Y., Kim, H.: A comparative study of software model checkers as unit testing tools: an industrial case study. IEEE Trans. Soft. Eng. 37, 146\u2013160 (2011)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Gent, K., Hsiao, M.S.: Functional test generation at the RTL using swarm intelligence and bounded model checking. In: 2013 22nd Asian Test Symposium, pp. 233\u2013238 (2013)","DOI":"10.1109\/ATS.2013.51"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Fraser, G., Wotawa, F.: Using LTL rewriting to improve the performance of model-checker based test-case generation [C]. In: Proceedings of the 3rd International Workshop on Advances in Model-Based Testing, pp. 64\u201374. ACM Press, New York (2007)","DOI":"10.1145\/1291535.1291542"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Hamon, G., de Moura, L., Rushby, J.: Generating efficient test sets with a model checker. In: Proceedings of the 2nd International Conference on Software Engineering and Formal Methods, pp. 261\u2013270. IEEE Computer Society Press, Los Alamitos (2004)","DOI":"10.1109\/SEFM.2004.1347530"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Huth, M.: Model checking vs. generalized model checking: semantic minimizations for temporal logics. In: Proceedings of the 20th Annual Symposium on Logic in Computer Science (LICS 2005), Chicago, pp. 158\u2013167. (2005)","DOI":"10.1109\/LICS.2005.28"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17404-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T16:43:55Z","timestamp":1747932235000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17404-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319174037","9783319174044"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17404-4_1","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":"17 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}