{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:39:10Z","timestamp":1761709150713},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319254227"},{"type":"electronic","value":"9783319254234"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25423-4_24","type":"book-chapter","created":{"date-parts":[[2015,11,30]],"date-time":"2015-11-30T12:10:46Z","timestamp":1448885446000},"page":"366-381","source":"Crossref","is-referenced-by-count":10,"title":["Delta-Oriented FSM-Based Testing"],"prefix":"10.1007","author":[{"given":"Mahsa","family":"Varshosaz","sequence":"first","affiliation":[]},{"given":"Harsh","family":"Beohar","sequence":"additional","affiliation":[]},{"given":"Mohammad Reza","family":"Mousavi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,1]]},"reference":[{"key":"24_CR1","volume-title":"Testing object-oriented systems: models, patterns, and tools","author":"R Binder","year":"2000","unstructured":"Binder, R.: Testing object-oriented systems: models, patterns, and tools. Addison-Wesley, Reading (2000)"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Model-Based Testing of Reactive Systems","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)"},{"issue":"7","key":"24_CR3","first-page":"425","volume":"30","author":"K El-Fakih","year":"2004","unstructured":"El-Fakih, K., Yevtushenko, N., von Bochmann, G.: FSM-based incremental conformance testing methods. IEEE TSE 30(7), 425\u2013436 (2004)","journal-title":"IEEE TSE"},{"issue":"1","key":"24_CR4","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.infsof.2010.05.011","volume":"53","author":"E Engstr\u00f6m","year":"2011","unstructured":"Engstr\u00f6m, E., Runeson, P.: Software product line testing - a systematic mapping study. Inf. Softw. Technol. 53(1), 2\u201313 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"24_CR5","unstructured":"Hong, H.S., Kwon, Y.R., Cha, S.D.: Testing of object-oriented programs based on finite state machines. In: Proceedings of APSEC 1995, pp. 234\u2013241. IEEE CS (1995)"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-15585-7_8","volume-title":"Testing \u2013 Practice and Research Techniques","author":"A J\u00e4\u00e4skel\u00e4inen","year":"2010","unstructured":"J\u00e4\u00e4skel\u00e4inen, A.: Filtering test models to support incremental testing. In: Bottaci, L., Fraser, G. (eds.) TAIC PART 2010. LNCS, vol. 6303, pp. 72\u201387. Springer, Heidelberg (2010)"},{"issue":"8","key":"24_CR7","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines-a survey. Proc. IEEE 84(8), 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-30473-6_7","volume-title":"Tests and Proofs","author":"M Lochau","year":"2012","unstructured":"Lochau, M., Schaefer, I., Kamischke, J., Lity, S.: Incremental model-based testing of delta-oriented software product lines. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol. 7305, pp. 67\u201382. Springer, Heidelberg (2012)"},{"key":"24_CR9","first-page":"279","volume":"129","author":"GA N\u00e9meth","year":"2014","unstructured":"N\u00e9meth, G.A., Pap, Z.: The incremental maintenance of transition tour. Fund. Inf. 129, 279\u2013300 (2014)","journal-title":"Fund. Inf."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Oster, S., W\u00fcbbeke, A., Engels, G., Sch\u00fcrr, A.: Model-based software product lines testing survey. In: Model-based Testing for Embedded Systems, pp. 339\u2013381. CRC Press (2011)","DOI":"10.1201\/b11321-14"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-73066-8_17","volume-title":"Testing of Software and Communicating Systems","author":"Z Pap","year":"2007","unstructured":"Pap, Z., Subramaniam, M., Kov\u00e1cs, G., N\u00e9meth, G.A.: A bounded incremental test generation algorithm for finite state machines. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom\/FATES 2007. LNCS, vol. 4581, pp. 244\u2013259. Springer, Heidelberg (2007)"},{"key":"24_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. 2852, pp. 380\u2013402. Springer, Heidelberg (2003)"},{"issue":"4","key":"24_CR13","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"15","author":"K Sabnani","year":"1988","unstructured":"Sabnani, K., Dahbura, A.: A protocol test generation procedure. Comput. Netw. ISDN Syst. 15(4), 285\u2013297 (1988)","journal-title":"Comput. Netw. ISDN Syst."},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"I Schaefer","year":"2010","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 77\u201391. Springer, Heidelberg (2010)"},{"key":"24_CR15","doi-asserted-by":"publisher","first-page":"1508","DOI":"10.1093\/comjnl\/bxp073","volume":"53","author":"A Sim\u00e3o","year":"2010","unstructured":"Sim\u00e3o, A., Petrenko, A.: Fault coverage-driven incremental test generation. Comput. J. 53, 1508\u20131522 (2010)","journal-title":"Comput. J."},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-30793-5_14","volume-title":"Formal Techniques for Distributed Systems","author":"S Tasharofi","year":"2012","unstructured":"Tasharofi, S., Karmani, R.K., Lauterburg, S., Legay, A., Marinov, D., Agha, G.: TransDPOR: a novel dynamic partial-order reduction technique for testing actor programs. In: Giese, H., Rosu, G. (eds.) FORTE 2012 and FMOODS 2012. LNCS, vol. 7273, pp. 219\u2013234. Springer, Heidelberg (2012)"},{"key":"24_CR17","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Kuhlemann, M., Schaefer, I., Saake, G.: Analysis strategies for software product lines. Technical report FIN-004-2012, School of Computer Science, University of Magdeburg (2012)"},{"key":"24_CR18","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2010","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2010)"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), pp. 112\u2013122. ACM (2002)","DOI":"10.1145\/566171.566190"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25423-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:00:54Z","timestamp":1559314854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25423-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319254227","9783319254234"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25423-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}