{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T15:53:26Z","timestamp":1673106806430},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,5,15]],"date-time":"2014-05-15T00:00:00Z","timestamp":1400112000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10009-014-0317-2","type":"journal-article","created":{"date-parts":[[2014,5,14]],"date-time":"2014-05-14T08:27:16Z","timestamp":1400056036000},"page":"339-349","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Incremental test case generation using bounded model checking: an application to automatic rating"],"prefix":"10.1007","volume":"17","author":[{"given":"Grzegorz","family":"Anielak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grzegorz","family":"Jakacki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u0142awomir","family":"Lasota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,15]]},"reference":[{"issue":"4","key":"317_CR1","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s10817-010-9172-3","volume":"45","author":"D Angeletti","year":"2010","unstructured":"Angeletti, D., Giunchiglia, E., Narizzano, M., Puddu, A., Sabina, S.: Using bounded model checking for coverage analysis of safety-critical software in an industrial setting. J. Autom. Reason. 45(4), 397\u2013414 (2010)","journal-title":"J. Autom. Reason."},{"key":"317_CR2","unstructured":"Anielak, G.: Sprawdzanie r\u00f3wnowa\u017cno\u015bci program\u00f3w przy u\u017cyciu ograniczonej weryfikacji modelowej. Master\u2019s thesis, University of Warsaw. (In Polish) (2012)"},{"key":"317_CR3","doi-asserted-by":"crossref","unstructured":"Ball, T.: A theory of predicate-complete test coverage and generation. In: FMCO, pp. 1\u201322 (2004)","DOI":"10.1007\/11561163_1"},{"key":"317_CR4","first-page":"118","volume":"58","author":"A Biere","year":"2003","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58, 118\u2013149 (2003)","journal-title":"Adv. Comput."},{"key":"317_CR5","doi-asserted-by":"crossref","unstructured":"Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: K. Jensen, A. Podelski (eds.) Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004), Lecture Notes in Computer Science, vol. 2988, pp. 168\u2013176. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"317_CR6","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)"},{"issue":"11","key":"317_CR7","doi-asserted-by":"crossref","first-page":"1487","DOI":"10.1016\/j.infsof.2009.06.010","volume":"51","author":"AC Dias-Neto","year":"2009","unstructured":"Dias-Neto, A.C., Travassos, G.H.: Model-based testing approaches selection for software projects. Inf. Softw. Technol. 51(11), 1487\u20131504 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"317_CR8","doi-asserted-by":"crossref","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible sat-solver. In: E. Giunchiglia, A. Tacchella (eds.) SAT, Lecture Notes in Computer Science, vol. 2919, pp. 502\u2013518. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-24605-3_37"},{"issue":"9","key":"317_CR9","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.1016\/j.jss.2009.05.016","volume":"82","author":"G Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.: Issues in using model checkers for test case generation. J. Syst. Softw. 82(9), 1403\u20131418 (2009)","journal-title":"J. Syst. Softw."},{"issue":"3","key":"317_CR10","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.E.: Testing with model checkers: a survey. Softw. Test. Verif. Reliab. 19(3), 215\u2013261 (2009)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"317_CR11","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., L\u00fcttgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal specifications to support testing. ACM Comput. Surv. 41(2), 9:1\u20139:76 (2009)","DOI":"10.1145\/1459352.1459354"},{"key":"317_CR12","doi-asserted-by":"crossref","unstructured":"Holzer, A., Schallhart, C., Tautschnig, M., Veith, H.: Query-driven program testing. In: N. Jones, M. Mller-Olm (eds.) Verification, Model Checking, and Abstract Interpretation, Lecture Notes in Computer Science, vol. 5403, pp. 151\u2013166 (2009)","DOI":"10.1007\/978-3-540-93900-9_15"},{"key":"317_CR13","doi-asserted-by":"crossref","unstructured":"Kim, M., Kim, Y., Kim, H.: Unit testing of flash memory device driver through a sat-based model checker. In: ASE 2008. 23rd IEEE\/ACM International Conference on Automated Software Engineering (2008)","DOI":"10.1109\/ASE.2008.30"},{"issue":"2","key":"317_CR14","doi-asserted-by":"crossref","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. Softw. Eng. 37(2), 146\u2013160 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"317_CR15","doi-asserted-by":"crossref","unstructured":"Kroening, D., Clarke, E., Yorav, K.: Behavioral consistency of C and Verilog programs using bounded model checking. In: Proceedings of DAC 2003, pp. 368\u2013371. ACM Press, New York (2003)","DOI":"10.21236\/ADA461052"},{"key":"317_CR16","doi-asserted-by":"crossref","unstructured":"Lee, D.A., Yoo, J., Lee, J.S.: Equivalence checking between function block diagrams and C programs using HW-CBMC. In: Proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP\u201911, pp. 397\u2013408. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24270-0_29"},{"issue":"1","key":"317_CR17","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/BF02940843","volume":"11","author":"Z Shukur","year":"1999","unstructured":"Shukur, Z., Burke, E., Foxley, E.: The automatic assessment of formal specification coursework. J. Comput. High. Educ. 11(1), 86\u2013119 (1999)","journal-title":"J. Comput. High. Educ."},{"key":"317_CR18","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, Burlington (2007)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0317-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0317-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0317-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,10]],"date-time":"2019-08-10T12:40:06Z","timestamp":1565440806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0317-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,15]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["317"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0317-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5,15]]}}}