Result: JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking

Title:
JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking
Authors:
Cheng, Zaiyu, Wu, Tong, Schrammel, Peter, Tihanyi, Norbert, de Lima Filho, Eddie B., Cordeiro, Lucas C.
Source:
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :1831-1835
Availability:
http://dl.acm.org/doi/10.1145/3650212.3685303
Database:
ACM Full-Text Collection