{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:31:06Z","timestamp":1769751066326,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642166112","type":"print"},{"value":"9783642166129","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_4","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T06:45:14Z","timestamp":1289976314000},"page":"36-50","source":"Crossref","is-referenced-by-count":10,"title":["Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?"],"prefix":"10.1007","author":[{"given":"Matthew B.","family":"Dwyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Purandare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suzette","family":"Person","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Program monitoring with ltl in eagle. In: Parallel and Distributed Processing Symposium, International, vol.\u00a017, p. 264 (2004)","DOI":"10.1109\/IPDPS.2004.1303336"},{"key":"4_CR2","unstructured":"Kim, M., Viswanathan, M., Ben-Abdallah, H., Kannan, S., Lee, I., Sokolsky, O.: Formally specified monitoring of temporal properties. In: Proceedings of the 11th Euromicro Conference on Real-Time Systems, pp. 114\u2013122 (1999)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Havelund, K., Ro\u015fu, G.: Synthesizing monitors for safety properties. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 257\u2013268. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-46002-0_24"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. In: Conf. on Obj. Oriented Prog. Sys. Lang. and App., pp. 589\u2013608 (2007)","DOI":"10.1145\/1297027.1297070"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Chen, F., Ro\u015fu, G.: Mop: an efficient and generic runtime verification framework. In: Conf. on Obj. Oriented Prog. Sys. Lang. and App., pp. 569\u2013588 (2007)","DOI":"10.1145\/1297027.1297069"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Havelund, K., Ro\u015fu, G.: Monitoring java programs with java pathexplorer. In: Proc. 1st Workshop on Runtime Verification (2001)","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"4_CR7","unstructured":"NASA Aeronautics Research Mission Directorate, Aviation Safety Program: Integrated Vehicle Health Management Technical Plan, Version 2.03 (2009), http:\/\/www.aeronautics.nasa.gov\/nra_pdf\/ivhm_tech_plan_c1.pdf"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"R.E. Strom","year":"1986","unstructured":"Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng.\u00a012, 157\u2013171 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Bodden, E., Lam, P., Hendren, L.: Finding programming errors earlier by evaluating runtime monitors ahead-of-time. In: Int\u2019l Symp. on Found. of Soft. Eng., New York, NY, USA, pp. 36\u201347 (2008)","DOI":"10.1145\/1453101.1453109"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Bodden, E.: Efficient hybrid typestate analysis by determining continuation-equivalent states. In: Int\u2019l. Conf. on Soft. Eng. (2010)","DOI":"10.1145\/1806799.1806805"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Blackburn, S.M., Garner, R., Hoffman, C., Khan, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanovi\u0107, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The DaCapo benchmarks: Java benchmarking development and analysis. In: Proc. of the 21st ACM SIGPLAN Conf. on Object-Oriented Programing, Systems, Languages, and Applications, pp. 169\u2013190 (2006)","DOI":"10.1145\/1167473.1167488"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Purandare, R., Dwyer, M.B., Elbaum, S.: Monitor optimization via stutter-equivalent loop transformation. In: ACM Conf. on Obj. Oriented Prog. Sys. Lang. and App. (2010)","DOI":"10.1145\/1869459.1869483"},{"key":"4_CR13","series-title":"LNCS","first-page":"405","volume-title":"RV 2010","author":"J. Seyster","year":"2010","unstructured":"Seyster, J., Dixit, K., Huang, X., Grosu, R., Havelund, K., Smolka, S.A., Stoller, S.D., Zadok, E.: Aspect-oriented instrumentation with gcc. In: Rosu, G., Sokolsky, O. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 405\u2013420. Springer, Heidelberg (2010)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Chen, F., Meredith, P.O., Jin, D., Rosu, G.: Efficient formalism-independent monitoring of parametric properties. In: International Conference on Automated Software Engineering, pp. 383\u2013394 (2009)","DOI":"10.1109\/ASE.2009.50"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/TSE.1986.6312924","volume":"12","author":"J.C. Knight","year":"1986","unstructured":"Knight, J.C., Leveson, N.G.: An experimental evaluation of the assumption of independence in multi-version programming*. IEEE Transactions on Software Engineering\u00a012, 96\u2013109 (1986)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1109\/32.83905","volume":"17","author":"D.E. Eckhardt","year":"1991","unstructured":"Eckhardt, D.E., Caglayan, A.K., Knight, J.C., Lee, L.D., McAllister, D.F., Vouk, M.A., Kelly, J.J.P.: An experimental evaluation of software redundancy as a strategy for improving reliability. IEEE Trans. Softw. Eng.\u00a017, 692\u2013702 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR17","first-page":"595","volume-title":"DSN 2002: Proceedings of the 2002 International Conference on Dependable Systems and Networks","author":"M.Y. Chen","year":"2002","unstructured":"Chen, M.Y., Kiciman, E., Fratkin, E., Fox, A., Brewer, E.: Pinpoint: Problem determination in large, dynamic internet services. In: DSN 2002: Proceedings of the 2002 International Conference on Dependable Systems and Networks, pp. 595\u2013604. IEEE Computer Society, Los Alamitos (2002)"},{"key":"#cr-split#-4_CR18.1","unstructured":"Candea, G., Kawamoto, S., Fujiki, Y., Friedman, G., Fox, A.: Microreboot \u2014 a technique for cheap recovery. In: OSDI 2004: Proceedings of the 6th conference on Symposium on Operating Systems Design & Implementation, pp. 31\u201344 (2004);"},{"key":"#cr-split#-4_CR18.2","unstructured":"Adopts the philosophy of converting all failures to crashes and then focuses on reboot of crashed components as the only recovery strategy. Downside is that this sacrifices any opportunity to do effective fault localization to better target the recovery. Upside is it is simple"},{"key":"4_CR19","unstructured":"Tang, Y., Gao, Q., Qin, F.: Leaksurvivor: towards safely tolerating memory leaks for garbage-collected languages. In: ATC 2008: USENIX 2008 Annual Technical Conference on Annual Technical Conference, USENIX Association, pp. 307\u2013320 (2008)"},{"key":"4_CR20","first-page":"109","volume-title":"OOPSLA 2008: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications","author":"M.D. Bond","year":"2008","unstructured":"Bond, M.D., McKinley, K.S.: Tolerating memory leaks. In: OOPSLA 2008: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, pp. 109\u2013126. ACM, New York (2008)"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1002\/spe.916","volume":"39","author":"H. S\u00f6zer","year":"2009","unstructured":"S\u00f6zer, H., Tekinerdo\u011fan, B., Ak\u015fit, M.: Flora: a framework for decomposing software architecture to introduce local recovery. Softw. Pract. Exper.\u00a039, 869\u2013889 (2009)","journal-title":"Softw. Pract. Exper."},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.637385","volume":"23","author":"C.J. Walter","year":"1997","unstructured":"Walter, C.J., Lincoln, P., Suri, N.: Formally verified on-line diagnosis. IEEE Trans. Softw. Eng.\u00a023, 684\u2013721 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: Spectrum-based multiple fault localization. In: ASE 2009: Proceedings of the, IEEE\/ACM International Conference on Automated Software Engineering, pp. 88\u201399. IEEE Computer Society, Los Alamitos (2009)","DOI":"10.1109\/ASE.2009.25"},{"key":"4_CR24","first-page":"89","volume-title":"TAICPART 2007: Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques","author":"R. Abreu","year":"2007","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the accuracy of spectrum-based fault localization. In: TAICPART 2007: Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques, pp. 89\u201398. IEEE Computer Society, Los Alamitos (2007)"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"1780","DOI":"10.1016\/j.jss.2009.06.035","volume":"82","author":"R. Abreu","year":"2009","unstructured":"Abreu, R., Zoeteweij, P., Golsteijn, R., van Gemund, A.J.C.: A practical evaluation of spectrum-based fault localization. J. Syst. Softw.\u00a082, 1780\u20131792 (2009)","journal-title":"J. Syst. Softw."},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"S\u00f6zer, H., Abreu, R., Ak\u015fit, M., van Gemund, A.J.C.: Increasing system availability with local recovery based on fault localization. In: Proc. of 10th International Conference on Quality Software, pp. 276\u2013281 (2010)","DOI":"10.1109\/QSIC.2010.29"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1007\/11531142_23","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"V. Dallmeier","year":"2005","unstructured":"Dallmeier, V., Lindig, C., Zeller, A.: Lightweight defect localization for java. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 528\u2013550. Springer, Heidelberg (2005)"},{"key":"4_CR28","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)"},{"key":"4_CR29","unstructured":"Xie, Y., Naik, M., Hackett, B., Aiken, A.: Soundness and its role in bug detection systems. In: Proc. of the Workshop on the Evaluation of Software Defect Detection Tools (2005)"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-540-77395-5_3","volume-title":"Runtime Verification","author":"E. Bodden","year":"2007","unstructured":"Bodden, E., Hendren, L.J., Lam, P., Lhot\u00e1k, O., Naeem, N.A.: Collaborative runtime verification with tracematches. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol.\u00a04839, pp. 22\u201337. Springer, Heidelberg (2007)"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Diep, M., Elbaum, S.G.: Reducing the cost of path property monitoring through sampling. In: Int\u2019l. Conf. on Aut. Soft. Eng., pp. 228\u2013237 (2008)","DOI":"10.1109\/ASE.2008.33"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Arnold, M., Vechev, M., Yahav, E.: Qvm: An efficient runtime for detecting defects in deployed systems. In: Conf. on Obj. Oriented Prog. Sys. Lang. and App., pp. 143\u2013162 (2008)","DOI":"10.1145\/1449764.1449776"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Dwyer, M., Purandare, R.: Residual dynamic typestate analysis. In: Int\u2019l. Conf. on Aut. Soft. Eng., pp. 124\u2013133 (2007)","DOI":"10.1145\/1321631.1321651"},{"key":"4_CR34","unstructured":"Pozo, R., Miller, B.: Scimark 2.0. (2004), http:\/\/math.nist.gov\/scimark"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T05:57:40Z","timestamp":1559800660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}