Dave King, Trent Jaeger, Somesh Jha, Sanjit A. Seshia
Effective blame for information-flow violations
FSE, 2008.
@inproceedings{FSE-2008-KingJJS, author = "Dave King and Trent Jaeger and Somesh Jha and Sanjit A. Seshia", booktitle = "{Proceedings of the 16th International Symposium on Foundations of Software Engineering}", doi = "10.1145/1453101.1453135", editor = "Mary Jean Harrold and Gail C. Murphy", isbn = "978-1-59593-995-1", pages = "250--260", publisher = "{ACM}", title = "{Effective blame for information-flow violations}", year = 2008, }