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

Nazareno Aguirre

Published in: FormaliSE@ICSE (2017)

Keyphrases

automated verification
data analysis
automated analysis
software development
formal verification
statistical analysis
social networks
open source
computer systems
test cases
model checking
analysis tool