Philipp Zech, Michael Felderer, Basel Katt, Ruth Breu. Security Test Generation by Answer Set Programming. In Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014. pages 88-97, IEEE, 2014. [doi]
Abstract is missing.