Towards practical reactive security audit using extended static checkers
Julien Vanegue, Shuvendu K. Lahiri[doi] [Google Scholar] [DBLP] [Citeseer]
2013 IEEE Symposium on Security and Privacy
Volume
Pages 33-47
May 2013
Volume
Pages 33-47
May 2013