Paul Muntean, Claudia Eckert, Andreas Ibing. Context-sensitive detection of information exposure bugs with symbolic execution. In Hareton Kam Nang Leung, editor, Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014, Hong Kong, China, November 16, 2014. pages 84-93, ACM, 2014. [doi]
Abstract is missing.