Automatic generation and inference of interface properties from program source code

Authors:
Mithun Acharya
Affiliations:
North Carolina State University, Raleigh, NC
Venue:
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Year:
2006

Citing 5
Cited 1

Dynamically Discovering Likely Program Invariants to Support Program Evolution

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Bugs as deviant behavior: a general approach to inferring errors in systems code

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
MOPS: an infrastructure for examining security properties of software

Proceedings of the 9th ACM conference on Computer and communications security
Effective Generation of Interface Robustness Properties for Static Analysis

ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Mining Interface Specifications for Generating Checkable Robustness Properties

ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering

Inferno: streamlining verification with inferred semantics

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantified Score

Hi-index	0.01

Visualization

Abstract

Our research proposes a novel framework to automatically infer system-specific interface properties from program source code using static model-checking traces.