Verifying object construction. - Martin Kellogg; Manli Ran; Manu Sridharan; Martin Schäf; Michael D. Ernst (ICSE, 2020)