Keqin Li, Cédric Hebert, Jan Lindemann, Michael Sauter, Holger Mack, Tom Schroer, Abhay Tiple. Tool support for secure programming by security testing. In Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015. pages 1-4, IEEE Computer Society, 2015. [doi]
Abstract is missing.