Automatic Discovery of Software Attacks via Backward Reasoning.

Cataldo Basile, Daniele Canavese, Jrme d'Annoville, Bjorn De Sutter, Fulvio Valenza

Browse the full ICSE paper archive.