In this tutorial I will report our experience with CodeContracts [5], and in particular with its static checker (cccheck/clousot) [6]. CodeContracts are a language-agnostic solution to the specification problem. Preconditions, postconditions and object invariants are with opportune method calls acting as specification markers [4]. The CodeContracts API is part of the core .NET standard. The CodeContracts tools have been downloaded more than 50 000 times, and they are currently used in many projects by professional programmers. © 2012 Springer-Verlag.
CITATION STYLE
Logozzo, F. (2012). Our experience with the CodeContracts static checker (Invited tutorial). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7152 LNCS, pp. 241–242). https://doi.org/10.1007/978-3-642-27705-4_19
Mendeley helps you to discover research relevant for your work.