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

Nazareno Aguirre. Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair. In 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017. pages 2, IEEE, 2017. [doi]

Abstract

Abstract is missing.