Training for Security: Planning the Use of a SAT in the Development Pipeline of Web Apps | IEEE Conference Publication | IEEE Xplore