{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:04:12Z","timestamp":1725563052666},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155840"},{"type":"electronic","value":"9783642155857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15585-7_14","type":"book-chapter","created":{"date-parts":[[2010,8,25]],"date-time":"2010-08-25T01:58:59Z","timestamp":1282701539000},"page":"147-154","source":"Crossref","is-referenced-by-count":1,"title":["Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models"],"prefix":"10.1007","author":[{"given":"Marko","family":"K\u00e4\u00e4ramees","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcri","family":"Vain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kullo","family":"Raiend","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Software Engineering Notes","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/1007512.1007520","volume-title":"ISSTA 2004","author":"L. Nachmanson","year":"2004","unstructured":"Nachmanson, L., Veanes, M., Schulte, W., Tillmann, N., Grieskamp, W.: Optimal strategies for testing nondeterministic systems. In: ISSTA 2004. Software Engineering Notes, vol.\u00a029, pp. 55\u201364. ACM, New York (2004)"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MS.2008.109","volume":"25","author":"P. Godefroid","year":"2008","unstructured":"Godefroid, P., de Halleux, P., Nori, A.V., Rajamani, S.K., Schulte, W., Tillmann, N., Levin, M.Y.: Automating software testing using program analysis. IEEE Software\u00a025, 30\u201337 (2008)","journal-title":"IEEE Software"},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10515-009-0057-9","volume":"17","author":"K. Derderian","year":"2010","unstructured":"Derderian, K., Hierons, R.M., Harman, M., Guo, Q.: Estimating the feasibility of transition paths in extended finite state machines. Automated Software Engg.\u00a017(1), 33\u201356 (2010)","journal-title":"Automated Software Engg."},{"key":"14_CR4","unstructured":"Williams, B.C., Nayak, P.P.: A reactive planner for a model-based executive. In: Proc. of 15th International Joint Conference on Artificial Intelligence, IJCAI, pp. 1178\u20131185 (1997)"},{"key":"14_CR5","first-page":"363","volume-title":"22nd IEEE\/ACM International Conference on Automated Software Engineering","author":"J. Vain","year":"2007","unstructured":"Vain, J., Raiend, K., Kull, A., Ernits, J.: Synthesis of test purpose directed reactive planning tester for nondeterministic systems. In: 22nd IEEE\/ACM International Conference on Automated Software Engineering, pp. 363\u2013372. ACM Press, New York (2007)"},{"key":"14_CR6","unstructured":"Kull, A., Raiend, K., Vain, J., K\u00e4\u00e4ramees, M.: Case study-based performance evaluation of reactive planning tester. In: Model-based Testing in Practice: 2nd Workshop on Model-based Testing in Practice (MoTiP 2009), Enschede, The Netherlands. CTIT Workshop Proceedings Series WP09-08, pp. 87\u201396 (2009)"},{"key":"14_CR7","unstructured":"Hamon, G., de Moura, L., Rushby, J.: Automated test generation with SAL. CSL Technical Note (1995)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura De","year":"2008","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Testing \u2013 Practice and Research Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15585-7_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:10:24Z","timestamp":1606187424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15585-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155840","9783642155857"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15585-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}