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

Sat, 01 Jan 2022 00:00:00 +0100

Khanh-Huu-The Dam , Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay:
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. ISoLA (1) 2022: 279-298