A SAT-based autonomous strategy for security vulnerability management.

Martn Barrre, Remi Badonnel, Olivier Festor

Browse the full NOMS paper archive.