Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept.

Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay

Browse the full ISoLA paper archive.