{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:55:37Z","timestamp":1747810537290,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642021602"},{"type":"electronic","value":"9783642021619"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02161-9_12","type":"book-chapter","created":{"date-parts":[[2009,6,9]],"date-time":"2009-06-09T10:09:40Z","timestamp":1244542180000},"page":"223-240","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Generation of Runtime Failure Detectors from Property Templates"],"prefix":"10.1007","author":[{"given":"Mauro","family":"Pezz\u00e8","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen","family":"Wuttke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Fault-Tolerant Systems","author":"I. Koren","year":"2007","unstructured":"Koren, I., Krishna, C.M.: Fault-Tolerant Systems. Morgan Kaufmann, San Francisco (2007)"},{"volume-title":"Dependability: Basic Concepts and Terminology","year":"1992","key":"12_CR2","unstructured":"Laprie, J.C., Avizienis, A., Kopetz, H. (eds.): Dependability: Basic Concepts and Terminology. Springer, New York (1992)"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer\u00a036(1), 41\u201350 (2003)","journal-title":"IEEE Computer"},{"issue":"1","key":"12_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/32.341844","volume":"21","author":"D.S. Rosenblum","year":"1995","unstructured":"Rosenblum, D.S.: A practical approach to programming with assertions. IEEE Transactions on Software Engineering\u00a021(1), 19\u201331 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11817963_1","volume-title":"Computer Aided Verification","author":"M. Das","year":"2006","unstructured":"Das, M.: Formal specifications on industrial-strength code\u2014from myth to reality. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, p. 1. Springer, Heidelberg (2006) (invited talk)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Machado, P.D.L.: Testing from Structured Algebraic Specifications: The Oracle Problem. PhD thesis, University of Edinburgh (2000)","DOI":"10.1007\/3-540-45499-3_37"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Richardson, D.J., Aha, S.L., O\u2019Malley, T.O.: Specification-based test oracles for reactive systems. In: Proceedings of the 14th International Conference on Software Engineering, ICSE 1992, pp. 105\u2013118 (1992)","DOI":"10.1145\/143062.143100"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Ciupa, I., Meyer, B., Oriol, M., Pretschner, A.: Finding faults: Manual testing vs. random testing+ vs. user reports. Technical Report 595, Department of Computer Science, ETH Zurich, Switzerland (2008)","DOI":"10.1109\/ISSRE.2008.18"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Voas, J.M., Miller, K.W.: Putting assertions in their place. In: Proceedings of the 5th International Symposium on Software Reliability Engineering, pp. 152\u2013157 (1994)","DOI":"10.1109\/ISSRE.1994.341367"},{"key":"12_CR10","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional, Reading (1994)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Wuttke, J.: Property classes and assertions supporting runtime failure detection. Technical report, University of Lugano, Switzerland (2008)","DOI":"10.1145\/1370175.1370219"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 1999 International Conference on Software Engineering, ICSE 1999, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Cobleigh, R.L., Avrunin, G.S., Clarke, L.A.: User guidance for creating precise and accessible property specifications. In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 2006\/FSE-14 2006, pp. 208\u2013218 (2006)","DOI":"10.1145\/1181775.1181801"},{"key":"12_CR14","first-page":"75","volume-title":"ESEC-FSE 2007: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"Y. Zibin","year":"2007","unstructured":"Zibin, Y., Potanin, A., Ali, M., Artzi, S., Kie\u017cun, A., Ernst, M.D.: Object and reference immutability using java generics. In: ESEC-FSE 2007: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 75\u201384. ACM, New York (2007)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Unkel, C., Lam, M.S.: Automatic inference of stationary fields: a generalization of java\u2019s final fields. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, pp. 183\u2013195 (2008)","DOI":"10.1145\/1328438.1328463"},{"issue":"1","key":"12_CR16","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/1047659.1040329","volume":"40","author":"J.T. Boyland","year":"2005","unstructured":"Boyland, J.T., Retert, W.: Connecting effects and uniqueness with adoption. SIGPLAN Notices\u00a040(1), 283\u2013295 (2005)","journal-title":"SIGPLAN Notices"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Beckman, N.E., Bierhoff, K., Aldrich, J.: Verifying correct usage of atomic blocks and typestate. In: Proceedings of the 23rd ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2008, pp. 227\u2013244 (2008)","DOI":"10.1145\/1449764.1449783"},{"key":"12_CR18","unstructured":"Chan, E.C., Boyland, J.T., Scherlis, W.L.: Promises: Limited specifications for analysis and manipulation. In: Proceedings of the 20th International Conference on Software Engineering, ICSE 1998 (1998)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Qin, F., Tucek, J., Sundaresan, J., Zhou, Y.: Rx: Treating bugs as allergies \u2014 a safe method to survive software failures. In: Proceedings of the 20th ACM Symposium on Operating Systems Principles, SOSP 2005, pp. 235\u2013248 (2005)","DOI":"10.1145\/1095809.1095833"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Goldstein, M., Shehory, O., Weinsberg, Y.: Can self-healing software cope with loitering? In: Proceedings of the 4th International Workshop on Software Quality Assurance, SoQUA 2007, pp. 1\u20138 (2007)","DOI":"10.1145\/1295074.1295076"},{"key":"12_CR21","unstructured":"Candea, G., Kawamoto, S., Fujiki, Y., Friedman, G., Fox, A.: Microreboot - a technique for cheap recovery. In: Proceedings of the 6th Symposium on Operating Systems Design and Implementation (2004)"},{"issue":"1","key":"12_CR22","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/32.825766","volume":"26","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Hamlet, R.: Automatically checking an implementation against its formal specification. IEEE Transactions on Software Engineering\u00a026(1), 55\u201369 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M. Barnett","year":"2005","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system: An overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"key":"12_CR24","unstructured":"Cheon, Y., Leavens, G.T.: The JML and JUnit way of unit testing and its implementation. Technical Report TR #04-02, Department of Computer Science \u2013 Iowa State University (2004)"},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/581376.581377","volume-title":"Proceedings of the 24th International Conference on Software Engineering, ICSE 2002","author":"S. Hangal","year":"2002","unstructured":"Hangal, S., Lam, M.S.: Tracking down software bugs using automatic anomaly detection. In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, pp. 291\u2013301. ACM, New York (2002)"},{"key":"12_CR26","first-page":"70","volume-title":"Proceedings of the 3rd International Workshop on Software Quality Assurance, SOQUA 2006","author":"G.K. Baah","year":"2006","unstructured":"Baah, G.K., Gray, A., Harrold, M.J.: On-line anomaly detection of deployed software: a statistical machine learning approach. In: Proceedings of the 3rd International Workshop on Software Quality Assurance, SOQUA 2006, pp. 70\u201377. ACM, New York (2006)"},{"key":"12_CR27","first-page":"501","volume-title":"Proceedings of the 30th International Conference on Software Engineering, ICSE 2008","author":"D. Lorenzoli","year":"2008","unstructured":"Lorenzoli, D., Mariani, L., Pezz\u00e8, M.: Automatic generation of software behavioral models. In: Proceedings of the 30th International Conference on Software Engineering, ICSE 2008, pp. 501\u2013510. ACM, New York (2008)"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Skene, J., Lamanna, D.D., Emmerich, W.: Precise service level agreements. In: Proceedings of the 26th International Conference on Software Engineering, pp. 179\u2013188 (2004)","DOI":"10.1109\/ICSE.2004.1317440"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Self-Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02161-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T01:49:21Z","timestamp":1739152161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02161-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642021602","9783642021619"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02161-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}