{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:29:32Z","timestamp":1761708572015},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_8","type":"book-chapter","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T21:58:59Z","timestamp":1282687139000},"page":"72-87","source":"Crossref","is-referenced-by-count":3,"title":["Filtering Test Models to Support Incremental Testing"],"prefix":"10.1007","author":[{"given":"Antti","family":"J\u00e4\u00e4skel\u00e4inen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Buwalda, H.: Action figures. STQE Magazine (March\/April 2003)"},{"key":"8_CR2","first-page":"324","volume-title":"OOPSLA 2003 Workshop on Generative Techniques in the Context of Model-Driven Architecture","author":"K. Czarnecki","year":"2003","unstructured":"Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of Model-Driven Architecture, pp. 324\u2013339. Springer, Heidelberg (2003)"},{"key":"8_CR3","first-page":"211","volume-title":"TestCom\/FATES","author":"J. Ernits","year":"2009","unstructured":"Ernits, J., Roo, R., Jacky, J., Veanes, M.: Model-based testing of web applications using NModel. In: TestCom\/FATES, pp. 211\u2013216. Springer, Heidelberg (2009)"},{"key":"8_CR4","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":"8_CR5","first-page":"112","volume-title":"Proc. of the Software Engineering in Practice track of the 31st International Conference on Software Engineering (ICSE 2009)","author":"A. J\u00e4\u00e4skel\u00e4inen","year":"2009","unstructured":"J\u00e4\u00e4skel\u00e4inen, A., Katara, M., Kervinen, A., Maunumaa, M., P\u00e4\u00e4kk\u00f6nen, T., Takala, T., Virtanen, H.: Automatic GUI test generation for smart phone applications - an evaluation. In: Proc. of the Software Engineering in Practice track of the 31st International Conference on Software Engineering (ICSE 2009), companion volume, pp. 112\u2013122. IEEE Computer Society, Los Alamitos (2009)"},{"key":"8_CR6","first-page":"276","volume-title":"Proc. 8th International Conference on Quality Software (QSIC 2008) (short paper)","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: Proc. 8th International Conference on Quality Software (QSIC 2008) (short paper), pp. 276\u2013282. IEEE Computer Society, Los Alamitos (August 2008)"},{"key":"8_CR7","unstructured":"Karsisto, K.: A new parallel composition operator for verification tools. Doctoral dissertation, Tampere University of Technology (number 420 in publications) (2003)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-540-70889-6_17","volume-title":"Hardware and Software, Verification and Testing","author":"M. Katara","year":"2007","unstructured":"Katara, M., Kervinen, A.: Making model-based testing more agile: a use case driven approach. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, pp. 219\u2013234. Springer, Heidelberg (2007)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/TAIC-PART.2006.34","volume-title":"Proc. TAIC PART \u2013 Testing: Academic & Industrial Conference 2006","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: Proc. TAIC PART \u2013 Testing: Academic & Industrial Conference 2006, pp. 81\u201389. IEEE CS, Los Alamitos (August 2006)"},{"key":"8_CR10","unstructured":"Practise research group: TEMA project home page, \n                    \n                      http:\/\/practise.cs.tut.fi\/project.php?project=tema\n                    \n                    \n                   (Cited April 2010)"},{"key":"8_CR11","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall, Englewood Cliffs (1998)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-540-39656-7_16","volume-title":"Formal Methods for Components and Objects","author":"B. Rumpe","year":"2003","unstructured":"Rumpe, B.: Model-based testing of object-oriented systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 380\u2013402. Springer, Heidelberg (2003)"},{"issue":"2","key":"8_CR13","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM Journal on Computing\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM Journal on Computing"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/978-3-540-68855-6_21","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"M. Veanes","year":"2008","unstructured":"Veanes, M., Schulte, W.: Protocol modeling with model program composition. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 324\u2013339. 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_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:10:31Z","timestamp":1606169431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15585-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155840","9783642155857"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15585-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}