Automatic protocol-conformance recommendations

Authors:
Ernesto J. Alfonso
Affiliations:
Carnegie Mellon University, Pittsburgh, PA, USA
Venue:
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Year:
2011

Citing 3
Cited 0

Searching for type-error messages

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Checking Framework Interactions with Relationships

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Error Reporting Logic

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.