{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:49:45Z","timestamp":1725724185149},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642382086"},{"type":"electronic","value":"9783642382093"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38209-3_3","type":"book-chapter","created":{"date-parts":[[2013,4,30]],"date-time":"2013-04-30T13:28:25Z","timestamp":1367328505000},"page":"38-57","source":"Crossref","is-referenced-by-count":5,"title":["Combining Testing and Runtime Verification Techniques"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Falzon","sequence":"first","affiliation":[]},{"given":"Gordon J.","family":"Pace","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b137241","volume-title":"Model-based testing of reactive systems","author":"M. Broy","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A.: Model-based testing of reactive systems. LNCS, vol.\u00a03472. Springer, Heidelberg (2005)"},{"key":"3_CR2","unstructured":"Quviq AB: QuickCheck Documentation Version 1.26.2 (June 2012)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-03240-0_13","volume-title":"Formal Methods for Industrial Critical Systems","author":"C. Colombo","year":"2009","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: Dynamic event-based runtime monitoring of real-time and contextual properties. In: Cofer, D., Fantechi, A. (eds.) FMICS 2008. LNCS, vol.\u00a05596, pp. 135\u2013149. Springer, Heidelberg (2009)"},{"key":"3_CR4","unstructured":"Ericsson: Erlang reference manual user\u2019s guide version 5.7.5 (February 2010), \n                  \n                    http:\/\/www.erlang.org\/doc\/reference_manual\/users_guide.html\n                  \n                  \n                 (last accessed July 9, 2012)"},{"key":"3_CR5","unstructured":"Basho: The riak wiki (March 2011), \n                  \n                    http:\/\/wiki.basho.com\/\n                  \n                  \n                 (last accessed July 9, 2012)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/11498490_24","volume-title":"Model-Based Testing of Reactive Systems","author":"S. Colin","year":"2005","unstructured":"Colin, S., Mariani, L.: 18 Run-Time Verification. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472, pp. 525\u2013555. Springer, Heidelberg (2005)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-40911-4_20","volume-title":"Integrated Formal Methods","author":"V. Rusu","year":"2000","unstructured":"Rusu, V., du Bousquet, L., J\u00e9ron, T.: An approach to symbolic test generation. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 338\u2013357. Springer, Heidelberg (2000)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.tcs.2004.11.007","volume":"336","author":"C. Artho","year":"2005","unstructured":"Artho, C., Barringer, H., Goldberg, A., Havelund, K., Khurshid, S., Lowry, M., Pasareanu, C., Rosu, G., Sen, K., Visser, W., Washington, R.: Combining test case generation and runtime verification. Theoretical Computer Science\u00a0336, 209\u2013234 (2005)","journal-title":"Theoretical Computer Science"},{"key":"3_CR9","unstructured":"NASA: Java pathfinder (April 2012), \n                  \n                    http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\n                  \n                  \n                 (last accessed July 9, 2012)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-17071-3_13","volume-title":"Formal Methods for Components and Objects","author":"J. Derrick","year":"2010","unstructured":"Derrick, J., Walkinshaw, N., Arts, T., Earle, C.B., Cesarini, F., Fredlund, L.-A., Gulias, V., Hughes, J., Thompson, S.: Property-based testing: the protest project. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol.\u00a06286, pp. 250\u2013271. Springer, Heidelberg (2010)"},{"key":"3_CR11","first-page":"412","volume-title":"Proceedings of the 16th IEEE International Conference on Automated Software Engineering, ASE 2001","author":"D. Giannakopoulou","year":"2001","unstructured":"Giannakopoulou, D., Havelund, K.: Automata-based verification of temporal properties on running programs. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering, ASE 2001, pp. 412\u2013416. IEEE Computer Society, Washington, DC (2001)"}],"container-title":["Lecture Notes in Computer Science","Model-Based Methodologies for Pervasive and Embedded Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38209-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T17:33:45Z","timestamp":1547832825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38209-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642382086","9783642382093"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38209-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}