Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair.

Nazareno Aguirre

Browse the full ICSE paper archive.