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

Sabato Nocera, Simone Romano 0001, Rita Francese, Giuseppe Scanniello. Training for Security: Planning the Use of a SAT in the Development Pipeline of Web Apps. In 45th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, SEET@ICSE 2023, Melbourne, Australia, May 14-20, 2023. pages 40-45, IEEE, 2023. [doi]

Abstract

Abstract is missing.