{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:08:12Z","timestamp":1784232492823,"version":"3.55.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319030760","type":"print"},{"value":"9783319030777","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03077-7_8","type":"book-chapter","created":{"date-parts":[[2013,10,27]],"date-time":"2013-10-27T21:40:21Z","timestamp":1382910021000},"page":"112-128","source":"Crossref","is-referenced-by-count":15,"title":["Modbat: A Model-Based API Tester for Event-Driven Systems"],"prefix":"10.1007","author":[{"given":"Cyrille Valentin","family":"Artho","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Armin","family":"Biere","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Masami","family":"Hagiya","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Platon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martina","family":"Seidl","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yoshinori","family":"Tanabe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mitsuharu","family":"Yamamoto","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P. Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing, 1st edn. Cambridge University Press, New York (2008)","edition":"1"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-04772-5_37","volume-title":"Computer Aided Systems Theory - EUROCAST 2009","author":"C. Artho","year":"2009","unstructured":"Artho, C.: Separation of transitions, actions, and exceptions in model-based testing. In: Moreno-D\u00edaz, R., Pichler, F., Quesada-Arencibia, A. (eds.) EUROCAST 2009. LNCS, vol.\u00a05717, pp. 279\u2013286. Springer, Heidelberg (2009)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-38916-0_3","volume-title":"Tests and Proofs","author":"C. Artho","year":"2013","unstructured":"Artho, C., Biere, A., Seidl, M.: Model-based testing for verification back-ends. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol.\u00a07942, pp. 39\u201355. Springer, Heidelberg (2013)"},{"key":"8_CR4","unstructured":"Artho, C., Hagiya, M., Potter, R., Tanabe, Y., Weitl, F., Yamamoto, M.: Software model checking for distributed systems with selector-based, non-blocking communication. In: Proc. 28th Int. Conf. on Automated Software Engineering (ASE 2013), Palo Alto, USA. IEEE Computer Society (to be published, 2013)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Artho, C., Leungwattanakit, W., Hagiya, M., Tanabe, Y.: Efficient model checking of networked application. In: Paige, R.F., Meyer, B. (ed.) TOOLS EUROPE 2008. LNBIP, vol.\u00a011, pp. 22\u201340. Springer, Heidelberg (1974)","DOI":"10.1007\/978-3-540-69824-1_3"},{"key":"8_CR6","unstructured":"Beck, K.: Extreme programming explained: embrace change. Addison-Wesley Longman Publishing Co., Inc. (2000)"},{"key":"8_CR7","unstructured":"Beck, K.: Test driven development: By example (2002)"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/157485.164585","volume-title":"Proc. 30th Int. Design Automation Conference, DAC 1993","author":"K. Cheng","year":"1993","unstructured":"Cheng, K., Krishnakumar, A.: Automatic functional test generation using the extended finite state machine model. In: Proc. 30th Int. Design Automation Conference, DAC 1993, pp. 86\u201391. ACM, New York (1993)"},{"issue":"9","key":"8_CR9","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/357766.351266","volume":"35","author":"K. Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: A lightweight tool for random testing of Haskell programs. SIGPLAN Not.\u00a035(9), 268\u2013279 (2000)","journal-title":"SIGPLAN Not."},{"key":"8_CR10","unstructured":"Forrester, J., Miller, B.: An empirical study of the robustness of Windows NT applications using random testing. In: 4th USENIX Windows System Symposium, Seattle, USA, pp. 59\u201368 (2000)"},{"issue":"2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/TSE.2012.14","volume":"39","author":"G. Fraser","year":"2013","unstructured":"Fraser, G., Arcuri, A.: Whole test suite generation. IEEE Transactions on Software Engineering\u00a039(2), 276\u2013291 (2013)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"11","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1203","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N","volume":"30","author":"E. Gansner","year":"2000","unstructured":"Gansner, E., North, S.: An open graph visualization system and its applications to software engineering. Software\u2014Practice and Experience\u00a030(11), 1203\u20131233 (2000)","journal-title":"Software\u2014Practice and Experience"},{"issue":"6","key":"8_CR13","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/1064978.1065036","volume":"40","author":"P. Godefroid","year":"2005","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: Dart: directed automated random testing. SIGPLAN Not.\u00a040(6), 213\u2013223 (2005)","journal-title":"SIGPLAN Not."},{"key":"8_CR14","unstructured":"Holzmann, G.: The SPIN Model Checker. Addison-Wesley (2004)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Jacky, J., Veanes, M., Campbell, C., Schulte, W.: Model-Based Software Testing and Analysis with C#, 1st edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511619540"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Kanstr\u00e9n, T., Puolitaival, O.: Using built-in domain-specific modeling support to guide model-based test generation. In: Proc. 7th Workshop on Model-Based Testing (MBT 2012). EPTCS, vol.\u00a080, pp. 58\u201372 (2012)","DOI":"10.4204\/EPTCS.80.5"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/978-3-642-34026-0_34","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"T. Kitamura","year":"2012","unstructured":"Kitamura, T., Do, N.T.B., Ohsaki, H., Fang, L., Yatabe, S.: Test-case design by feature trees. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 458\u2013473. Springer, Heidelberg (2012)"},{"issue":"4","key":"8_CR18","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/1232743.1232745","volume":"50","author":"J. Kramer","year":"2007","unstructured":"Kramer, J.: Is abstraction the key to computing? Commun. ACM\u00a050(4), 36\u201342 (2007)","journal-title":"Commun. ACM"},{"key":"8_CR19","unstructured":"Link, J., Fr\u00f6hlich, P.: Unit Testing in Java: How Tests Drive the Code. Morgan Kaufmann Publishers, Inc. (2003)"},{"key":"8_CR20","unstructured":"Myers, G.: Art of Software Testing. John Wiley & Sons, Inc. (1979)"},{"key":"8_CR21","unstructured":"Nils, R.: ScalaCheck, A powerful tool for automatic unit testing (2013), \n                    \n                      https:\/\/github.com\/rickynils\/scalacheck"},{"key":"8_CR22","volume-title":"Programming in Scala: A Comprehensive Step-by-step Guide","author":"M. Odersky","year":"2010","unstructured":"Odersky, M., Spoon, L., Venners, B.: Programming in Scala: A Comprehensive Step-by-step Guide, 2nd edn. Artima Inc., USA (2010)","edition":"2"},{"key":"8_CR23","unstructured":"Oracle. Java Platform Standard Edition 7 API Specification (2013), \n                    \n                      http:\/\/docs.oracle.com\/javase\/7\/docs\/api\/"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Ernst, M.: Randoop: feedback-directed random testing for Java. In: OOPSLA 2007 Companion, Montreal, Canada. ACM (2007)","DOI":"10.1145\/1297846.1297902"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Ramler, R., Winkler, D., Schmidt, M.: Random test case generation and manual unit testing: Substitute or complement in retrofitting tests for legacy code? In: 36th Conf. on Software Engineering and Advanced Applications, pp. 286\u2013293. IEEE Computer Society (2012)","DOI":"10.1109\/SEAA.2012.42"},{"key":"8_CR26","unstructured":"Reese, W.: Nginx: the high-performance web server and reverse proxy. Linux Journal\u00a0173 (2008)"},{"issue":"5","key":"8_CR27","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/1095430.1081750","volume":"30","author":"K. Sen","year":"2005","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: A concolic unit testing engine for C. SIGSOFT Softw. Eng. Notes\u00a030(5), 263\u2013272 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"8_CR28","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M. Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers, Inc., San Francisco (2006)"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-78917-8_2","volume-title":"Formal Methods and Testing","author":"M. Veanes","year":"2008","unstructured":"Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-based testing of object-oriented reactive systems with Spec Explorer. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 39\u201376. Springer, Heidelberg (2008)"},{"issue":"2","key":"8_CR30","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Automated Software Engineering Journal\u00a010(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering Journal"},{"key":"8_CR31","unstructured":"Wampler, D., Payne, A.: Programming Scala. O\u2019Reilly Series. O\u2019Reilly Media (2009)"},{"issue":"2","key":"8_CR32","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/32.988498","volume":"28","author":"A. Zeller","year":"2002","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. Software Engineering\u00a028(2), 183\u2013200 (2002)","journal-title":"Software Engineering"}],"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-319-03077-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:54:02Z","timestamp":1558641242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03077-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319030760","9783319030777"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03077-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}