{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:10:34Z","timestamp":1725531034345},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642017018"},{"type":"electronic","value":"9783642017025"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01702-5_18","type":"book-chapter","created":{"date-parts":[[2009,4,18]],"date-time":"2009-04-18T14:01:45Z","timestamp":1240063305000},"page":"179-193","source":"Crossref","is-referenced-by-count":8,"title":["Synthesizing Test Models from Test Cases"],"prefix":"10.1007","author":[{"given":"Antti","family":"J\u00e4\u00e4skel\u00e4inen","sequence":"first","affiliation":[]},{"given":"Antti","family":"Kervinen","sequence":"additional","affiliation":[]},{"given":"Mika","family":"Katara","sequence":"additional","affiliation":[]},{"given":"Antti","family":"Valmari","sequence":"additional","affiliation":[]},{"given":"Heikki","family":"Virtanen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","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, San Francisco (2007)"},{"key":"18_CR2","volume-title":"Lessons Learned in Software Testing: A Context-Driven Approach","author":"C. Kaner","year":"2001","unstructured":"Kaner, C., Bach, J., Pettichord, B.: Lessons Learned in Software Testing: A Context-Driven Approach. Wiley, Chichester (2001)"},{"key":"18_CR3","unstructured":"Robinson, H.: Obstacles and opportunities for model-based testing in an industrial software environment. In: Proceedings of the 1st European Conference on Model-Driven Software Engineering, Nuremberg, Germany, pp. 118\u2013127 (2003)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Hartman, A.: AGEDIS project final report (2004) (cited June 2008), http:\/\/www.agedis.de\/documents\/FinalPublicReport%28D1.6%29.PDF","DOI":"10.1145\/1013886.1007529"},{"key":"18_CR5","unstructured":"S60. (Cited June 2008), http:\/\/www.s60.com"},{"key":"18_CR6","first-page":"81","volume-title":"Proceedings of TAIC PART \u2013 Testing: Academic & Industrial Conference","author":"M. Katara","year":"2006","unstructured":"Katara, M., Kervinen, A., Maunumaa, M., P\u00e4\u00e4kk\u00f6nen, T., Satama, M.: Towards deploying model-based testing with a domain-specific modeling approach. In: Proceedings of TAIC PART \u2013 Testing: Academic & Industrial Conference, Windsor, UK, pp. 81\u201389. IEEE Computer Society, Los Alamitos (2006)"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-68524-1_5","volume-title":"Testing of Software and Communicating Systems","author":"A. J\u00e4\u00e4skel\u00e4inen","year":"2008","unstructured":"J\u00e4\u00e4skel\u00e4inen, A., Katara, M., Kervinen, A., Heiskanen, H., Maunumaa, M., P\u00e4\u00e4kk\u00f6nen, T.: Model-based testing service on the web. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 38\u201353. Springer, Heidelberg (2008)"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/1007512.1007520","volume-title":"ISSTA 2004: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis","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: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, Boston, MA, USA, pp. 55\u201364. ACM, New York (2004)"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/QSIC.2008.26","volume-title":"Proceedings of the 8th International Conference on Quality Software (QSIQ 2008)","author":"A. J\u00e4\u00e4skel\u00e4inen","year":"2008","unstructured":"J\u00e4\u00e4skel\u00e4inen, A., Kervinen, A., Katara, M.: Creating a test model library for GUI testing of smartphone applications. In: Proceedings of the 8th International Conference on Quality Software (QSIQ 2008), pp. 276\u2013282. IEEE Computer Society, Los Alamitos (2008)"},{"key":"18_CR10","volume-title":"Software Test Automation: Effective use of test execution tools","author":"M. Fewster","year":"1999","unstructured":"Fewster, M., Graham, D.: Software Test Automation: Effective use of test execution tools. Addison Wesley, Reading (1999)"},{"key":"18_CR11","unstructured":"Buwalda, H.: Action figures. STQE Magazine, 42\u201347 (March\/April 2003)"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/CSD.2003.1207709","volume-title":"Proceedings of ACSD 2003, the Third International Conference on Application of Concurrency to System Design","author":"H. Hansen","year":"2003","unstructured":"Hansen, H., Virtanen, H., Valmari, A.: Merging state-based and action-based verification. In: Proceedings of ACSD 2003, the Third International Conference on Application of Concurrency to System Design, pp. 150\u2013156. IEEE, Los Alamitos (2003)"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-24730-2_12","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Virtanen","year":"2004","unstructured":"Virtanen, H., Hansen, H., Valmari, A., Nieminen, J., Erkkil\u00e4, T.: Tampere verification tool. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 153\u2013157. Springer, Heidelberg (2004)"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1025890110119","volume":"24","author":"D. Amyot","year":"2003","unstructured":"Amyot, D., Eberlein, A.: An evaluation of scenario notations and construction approaches for telecommunication systems development. Telecommunication Systems\u00a024, 61\u201394 (2003)","journal-title":"Telecommunication Systems"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM 2006), pp. 5\u201312 (2006)","DOI":"10.1145\/1138953.1138956"},{"key":"18_CR16","first-page":"15","volume-title":"Proceedings of the \u00a023rd\u00a0 International Conference on Software Engineering","author":"E. M\u00e4kinen","year":"2001","unstructured":"M\u00e4kinen, E., Syst\u00e4, T.: MAS - an interactive synthesizer to support behavioral modeling in UML. In: Proceedings of the \u00a023rd\u00a0 International Conference on Software Engineering, pp. 15\u201324. IEEE Computer Society Press, Los Alamitos (2001)"}],"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-642-01702-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:06:55Z","timestamp":1558278415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01702-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642017018","9783642017025"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01702-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}