P. Müller, Modular specification and verification of object-oriented programs, 2002.
DOI : 10.1007/3-540-45651-1

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

B. Beckert, R. Hähnle, and P. H. Schmitt, Verification of object-oriented software: The KeY approach, 2007.
DOI : 10.1007/978-3-540-69061-0

H. B. Amor and J. V. De-carvalho, Cutting stock problems. In: Column generation, pp.131-161, 2005.

M. Christakis, P. Müller, and V. Wüstholz, Collaborative Verification and Testing with Explicit Assumptions, International Symposium on Formal Methods, pp.132-146, 2012.
DOI : 10.1007/978-3-642-32759-9_13

M. Christakis, P. Müller, and V. Wüstholz, Guiding dynamic symbolic execution toward unverified program executions, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, pp.144-155, 2016.
DOI : 10.1007/978-3-540-79124-9_10
URL : http://kar.kent.ac.uk/58937/1/ICSE-2016.pdf

M. Christakis, Abstract, it - Information Technology, vol.59, issue.4, 2015.
DOI : 10.1515/itit-2017-0001

J. Kanig, R. Chapman, C. Comar, J. Guitton, Y. Moy et al., Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification, International Conference on Tests and Proofs, pp.142-157, 2014.
DOI : 10.1007/978-3-319-09099-3_11

M. Fähndrich, Static Verification for Code Contracts, pp.2-5, 2010.
DOI : 10.1007/978-3-642-15769-1_2

T. Xie, N. Tillmann, and P. Lakshman, Advances in unit testing, Proceedings of the 38th International Conference on Software Engineering Companion, ICSE '16, pp.904-905, 2016.
DOI : 10.1145/1869542.1869570
URL : http://dl.acm.org/ft_gateway.cfm?id=2891056&type=pdf

J. De-halleux and N. Tillmann, Moles: Tool-Assisted Environment Isolation with Closures, pp.253-270, 2010.
DOI : 10.1007/978-3-642-13953-6_14

S. Huster, P. Heckeler, H. Eichelberger, J. Ruf, S. Burg et al., More Flexible Object Invariants with Less Specification Overhead, International Conference on Software Engineering and Formal Methods, pp.302-316, 2014.
DOI : 10.1007/978-3-319-10431-7_25