Software reliability via machine learning (invited talk)


Computing good invariants is key to effective and efficient program verification. In this talk I will describe our experiences in using machine learning techniques (support vector machines, linear regression) for computing invariants useful for program verification as well as for fine tuning verification tools. 
DOI: 10.1145/2593489.2593490