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

Browse the full ISSTA paper archive.