Fri 21 - Thu 27 October 2011 Portland, Oregon, United States

Misuse of reusable components in software is common. Systems of software analysis based on formal specifications provide a mechanism for automatically detecting non-conformance to protocols. The focus of this research is to automatically generate task-specific user recommendations for correcting misuse of arbitrary protocols using results from software analysis systems.