Training for Security: Planning the Use of a SAT in the Development Pipeline of Web Apps.

Sabato Nocera, Simone Romano, Rita Francese, Giuseppe Scanniello

Browse the full ICSE paper archive.