Effective Blame for Information-Flow Violations
Dave King, Trent Jaeger, Somesh Jha, and Sanjit A. Seshia. Effective Blame for Information-Flow Violations. In Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), pp. 250–260, ACM Press, November 2008.
Download
Abstract
(unavailable)
BibTeX
@inproceedings{KJJS-fse08, author = {Dave King and Trent Jaeger and Somesh Jha and Sanjit A. Seshia}, title = {Effective Blame for Information-Flow Violations}, booktitle = {Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)}, year = {2008}, month = {November}, pages = {250--260}, publisher = {ACM Press}, }