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

@article{Aguirre2017EfficientSS,
  title={Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair},
  author={Nazareno Aguirre},
  journal={2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)},
  year={2017},
  pages={2-2}
}
Formal approaches to software development have traditionally aimed at guaranteeing software correctness, through the use of notations, analysis mechanisms and other elements founded on solid mathematical grounds. Since the seminal works of Hoare, Floyd and others, formal methods have used logical notations to capture intended software behavior, and proposed techniques for reasoning about software correctness, originally mainly through deductive approaches. Formal methods for software… CONTINUE READING