{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:08:03Z","timestamp":1725793683044},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319075112"},{"type":"electronic","value":"9783319075129"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07512-9_7","type":"book-chapter","created":{"date-parts":[[2014,5,11]],"date-time":"2014-05-11T22:23:18Z","timestamp":1399846998000},"page":"95-109","source":"Crossref","is-referenced-by-count":4,"title":["Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Arcaini","sequence":"first","affiliation":[]},{"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-11811-1_6","volume-title":"Abstract State Machines, Alloy, B and Z","author":"P. Arcaini","year":"2010","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: AsmetaSMV: A way to link high-level ASM models to low-level nuSMV specifications. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol.\u00a05977, pp. 61\u201374. Springer, Heidelberg (2010)"},{"unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Automatic Review of Abstract State Machines by Meta Property Verification. In: Mu\u00f1oz, C. (ed.) Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), pp. 4\u201313. NASA (2010)","key":"7_CR2"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-29860-8_17","volume-title":"Runtime Verification","author":"P. Arcaini","year":"2012","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: CoMA: Conformance monitoring of Java programs by Abstract State Machines. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol.\u00a07186, pp. 223\u2013238. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism. In: IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 178\u2013187 (2013)","key":"7_CR4","DOI":"10.1109\/ICSTW.2013.29"},{"key":"7_CR5","series-title":"CCIS","first-page":"36","volume-title":"ABZ 2014 Case Study Track","author":"P. Arcaini","year":"2014","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Modeling and analyzing using ASMs: The Landing Gear System case study. In: Boniol, F. (ed.) ABZ 2014 Case Study Track. CCIS, vol.\u00a0433, pp. 36\u201351. Springer, Heidelberg (2014)"},{"doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Transactions on Software and Methodology (TOSEM) 20 (2011)","key":"7_CR6","DOI":"10.1145\/2000799.2000800"},{"key":"7_CR7","series-title":"CCIS","first-page":"1","volume-title":"ABZ 2014 Case Study Track","author":"F. Boniol","year":"2014","unstructured":"Boniol, F., Wiels, V.: The Landing Gear System Case Study. In: Boniol, F. (ed.) ABZ 2014 Case Study Track. CCIS, vol.\u00a0433, pp. 1\u201318. Springer, Heidelberg (2014)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-540-30482-1_31","volume-title":"Formal Methods and Software Engineering","author":"F. Chen","year":"2004","unstructured":"Chen, F., D\u2019Amorim, M., Ro\u015fu, G.: A formal monitoring-based framework for software development and analysis. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 357\u2013372. Springer, Heidelberg (2004)"},{"key":"7_CR9","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.: 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":"7_CR10","first-page":"262","volume":"7","author":"A. Gargantini","year":"2001","unstructured":"Gargantini, A., Riccobene, E.: ASM-Based Testing: Coverage Criteria and Automatic Test Sequence Generation. J. Universal Computer Science\u00a07, 262\u2013265 (2001)","journal-title":"J. Universal Computer Science"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-36498-6_15","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"A. Gargantini","year":"2003","unstructured":"Gargantini, A., Riccobene, E., Rinzivillo, S.: Using Spin to Generate Testsfrom ASM Specifications. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol.\u00a02589, pp. 263\u2013277. Springer, Heidelberg (2003)"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/s10009-003-0117-6","volume":"6","author":"K. Havelund","year":"2004","unstructured":"Havelund, K., Ro\u015fu, G.: Efficient monitoring of safety properties. International Journal on Software Tools for Technology Transfer\u00a06, 158\u2013173 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"4","key":"7_CR13","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1002\/1099-1689(200012)10:4<201::AID-STVR214>3.0.CO;2-Z","volume":"10","author":"R. Hierons","year":"2000","unstructured":"Hierons, R., Derrick, J.: Editorial: special issue on specification-based testing. Software Testing, Verification and Reliability\u00a010(4), 201\u2013202 (2000)","journal-title":"Software Testing, Verification and Reliability"},{"issue":"5","key":"7_CR14","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M. Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. Journal of Logic and Algebraic Programming\u00a078(5), 293\u2013303 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s11334-009-0096-1","volume":"5","author":"H. Liang","year":"2009","unstructured":"Liang, H., Dong, J., Sun, J., Wong, W.E.: Software monitoring through formal specification animation. Innovations in Systems and Software Engineering\u00a05, 231\u2013241 (2009)","journal-title":"Innovations in Systems and Software Engineering"},{"unstructured":"Mrugalla, C., Robbe, O., Schinz, I., Toben, T., Westphal, B.: Formal verification of a sensor voting and monitoring UML model. In: Houmb, S.H., J\u00fcrjens, J., France, R. (eds.) Proceedings of the 4th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2005), Technische Universit\u00e4t M\u00fcnchen (September 2005)","key":"7_CR16"},{"unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann (2006)","key":"7_CR17"}],"container-title":["Communications in Computer and Information Science","ABZ 2014: The Landing Gear Case Study"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07512-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T15:41:30Z","timestamp":1558885290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07512-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319075112","9783319075129"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07512-9_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}