{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:11:39Z","timestamp":1725894699967},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642323409"},{"type":"electronic","value":"9783642323416"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-32341-6_4","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T02:54:33Z","timestamp":1357095273000},"page":"49-63","source":"Crossref","is-referenced-by-count":1,"title":["Comparing and Evaluating Existing Software Contract Tools"],"prefix":"10.1007","author":[{"given":"Janina","family":"Voigt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Warwick","family":"Irwin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neville","family":"Churcher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/11804192_17","volume-title":"Formal Methods for Components and Objects","author":"M. Barnett","year":"2006","unstructured":"Barnett, M., Chang, B.-Y.E., DeLine, R., Jacobs, B., Leino, K.R.M.: Boogie: A Modular Reusable Verifier for Object-Oriented Programs. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 364\u2013387. Springer, Heidelberg (2006)"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.5381\/jot.2004.3.6.a2","volume":"3","author":"M. Barnett","year":"2004","unstructured":"Barnett, M., Deline, R., F\u00e4hndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. Journal of Object Technology\u00a03, 27\u201356 (2004)","journal-title":"Journal of Object Technology"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Barnett, M., F\u00e4hndrich, M., Halleux, P.D., Logozzo, F., Tillmann, N.: Exploiting the synergy between automated-test-generation and programming-by-contract. In: Proceedings of ICSE 2009, 31th International Conference on Software Engineering, Companion, pp. 401\u2013402 (2009)","DOI":"10.1109\/ICSE-COMPANION.2009.5071032"},{"key":"4_CR4","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":"4_CR5","unstructured":"Barnett, M., Naumann, D., Schulte, W., Sun, Q.: 99.44% pure: useful abstractions in specifications. In: ECOOP Workshop on Formal Techniques for Java-Like Programs, FTfJP (2004)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Bartetzko, D., Fischer, C., M\u00f6ller, M., Wehrheim, H.: Jass - Java with assertions. Electronic Notes in Theoretical Computer Science\u00a055 (2001)","DOI":"10.1016\/S1571-0661(04)00247-6"},{"key":"4_CR7","volume-title":"Foundations of object-oriented languages: types and semantics","author":"K.B. Bruce","year":"2002","unstructured":"Bruce, K.B.: Foundations of object-oriented languages: types and semantics. MIT Press, Cambridge (2002)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1145\/74877.74924","volume-title":"OOPSLA 1989: Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications","author":"P.S. Canning","year":"1989","unstructured":"Canning, P.S., Cook, W.R., Hill, W.L., Olthoff, W.G.: Interfaces for strongly-typed object-oriented programming. In: OOPSLA 1989: Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications, pp. 457\u2013467. ACM, New York (1989)"},{"issue":"2-3","key":"4_CR9","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"Cardelli, L.: A semantics of multiple inheritance. Information and Computation\u00a076(2-3), 138\u2013164 (1988)","journal-title":"Information and Computation"},{"key":"4_CR10","unstructured":"Duncan, A., Hoelzle, U.: Adding contracts to Java with Handshake. Technical Report TRCS98-32, University of California at Santa Barbara, Santa Barbara, CA, USA (1998)"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"2103","DOI":"10.1145\/1774088.1774531","volume-title":"SAC 2010: Proceedings of the 2010 ACM Symposium on Applied Computing","author":"M. F\u00e4hndrich","year":"2010","unstructured":"F\u00e4hndrich, M., Barnett, M., Logozzo, F.: Embedded contract languages. In: SAC 2010: Proceedings of the 2010 ACM Symposium on Applied Computing, pp. 2103\u20132110. ACM, New York (2010)"},{"key":"4_CR12","unstructured":"Findler, R., Felleisen, M.: Behavioral interface contracts for Java. Technical Report TR00-366, Rice University (2000)"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1145\/512529.512558","volume-title":"PLDI 2002: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation","author":"C. Flanagan","year":"2002","unstructured":"Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: PLDI 2002: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pp. 234\u2013245. ACM, New York (2002)"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012, 576\u2013580 (1969)","journal-title":"Communications of the ACM"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta Informatica\u00a01, 271\u2013281 (1972)","journal-title":"Acta Informatica"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/s10703-005-3400-1","volume":"27","author":"M. Karaorman","year":"2005","unstructured":"Karaorman, M., Abercrombie, P.: jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation. Formal Methods in System Design\u00a027, 275\u2013312 (2005)","journal-title":"Formal Methods in System Design"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/3-540-48443-4_18","volume-title":"Meta-Level Architectures and Reflection","author":"M. Karaorman","year":"1999","unstructured":"Karaorman, M., H\u00f6lzle, U., Bruno, J.: jContractor: A Reflective Java Library to Support Design by Contract. In: Cointe, P. (ed.) Reflection 1999. LNCS, vol.\u00a01616, pp. 175\u2013196. Springer, Heidelberg (1999)"},{"key":"4_CR18","first-page":"295","volume-title":"TOOLS 1998: Proceedings of the Technology of Object-Oriented Languages and Systems","author":"R. Kramer","year":"1998","unstructured":"Kramer, R.: iContract - the Java(tm) design by contract(tm) tool. In: TOOLS 1998, p. 295. IEEE Computer Society, Washington, DC (1998)"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127884","volume":"31","author":"G. Leavens","year":"2006","unstructured":"Leavens, G., Baker, A., Ruby, C.: Preliminary design of JML: a behavioral interface specification language for Java. SIGSOFT Software Engineering Notes\u00a031, 1\u201338 (2006)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"4_CR20","unstructured":"Leavens, G., Cheon, Y.: Design by contract with JML (2006)"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.scico.2004.05.015","volume":"55","author":"G. Leavens","year":"2005","unstructured":"Leavens, G., Cheon, Y., Clifton, C., Ruby, C., Cok, D.: How the design of JML accommodates both runtime assertion checking and formal verification. Science of Computer Programming\u00a055, 185\u2013208 (2005)","journal-title":"Science of Computer Programming"},{"key":"4_CR22","unstructured":"Leino, K.R.M., Monahan, R.: Program verification using the Spec # programming system (2008), http:\/\/research.microsoft.com\/en-us\/projects\/specsharp\/etaps-specsharp-tutorial.ppt"},{"key":"4_CR23","unstructured":"Man Machine Systems: Design by contract for Java using JMSAssert (2009), http:\/\/www.mmsindia.com\/DBCForJava.html"},{"key":"4_CR24","unstructured":"Martin, R.: The Liskov Substitution Principle. C++ Report\u00a08, 16\u201317, 20\u201323 (1996)"},{"key":"4_CR25","first-page":"48","volume":"14","author":"B. Meyer","year":"1989","unstructured":"Meyer, B.: Writing correct software. Dr. Dobb\u2019s Journal\u00a014, 48\u201360 (1989)","journal-title":"Dr. Dobb\u2019s Journal"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cdesign by contract\u201d. Computer\u00a025, 40\u201351 (1992)","journal-title":"Computer"},{"key":"4_CR27","unstructured":"Meyer, B.: Object-oriented software construction, 2nd edn. Prentice-Hall (1997)"},{"key":"4_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-69507-3_9","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"B. Meyer","year":"2007","unstructured":"Meyer, B., Ciupa, I., Leitner, A., Liu, L.L.: Automatic Testing of Object-Oriented Software. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, pp. 114\u2013129. Springer, Heidelberg (2007)"},{"key":"4_CR29","unstructured":"Microsoft Corporation: Code contracts user manual (2010), http:\/\/research.microsoft.com\/en-us\/projects\/contracts\/userdoc.pdf"},{"key":"4_CR30","unstructured":"Object Management Group: Object constraint language version 2.2 (2010), http:\/\/www.omg.org\/spec\/OCL\/2.2"},{"key":"4_CR31","first-page":"119","volume-title":"ICECCS 1999: Proceedings of the 5th International Conference on Engineering of Complex Computer Systems","author":"A.J. Offutt","year":"1999","unstructured":"Offutt, A.J., Xiong, Y., Liu, S.: Criteria for generating specification-based tests. In: ICECCS 1999: Proceedings of the 5th International Conference on Engineering of Complex Computer Systems, p. 119. IEEE Computer Society, Washington, DC (1999)"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex\u2013White Box Test Generation for .NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"key":"4_CR33","unstructured":"Turing, A.: Checking a large routine. In: Report of a Conference on High Speed Automatic Calculating Machines, pp. 67\u201369 (1949)"},{"key":"4_CR34","unstructured":"Voigt, J.: Improving object oriented software contracts. Master\u2019s thesis, University of Canterbury, Christchurch, New Zealand (2011)"},{"key":"4_CR35","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32341-6_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,4]],"date-time":"2022-02-04T23:40:09Z","timestamp":1644018009000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32341-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642323409","9783642323416"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32341-6_4","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}