Consistency of Java run-time behavior with design-time specifications. - Swaminathan Jayaraman; Dinoop Hari; Bharat Jayaraman (IC3, 2015)