JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking. - Zaiyu Cheng; Tong Wu; Peter Schrammel; Norbert Tihanyi; Eddie B. de Lima Filho; Lucas C. Cordeiro (ISSTA, 2024)