Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair | IEEE Conference Publication | IEEE Xplore