http://www.oopsla.org/2006/2006/index.php?option=com_content&task=view&id=366&Itemid=447

program registration submissions committee lodging portland

SRC04: Automatic Generation and Inference of Interface Properties from Program Source Code

SRC04: Automatic Generation and Inference of Interface Properties from Program Source Code

Robustness and security of software are governed by various temporal properties related to interfaces. We present an approach to effectively generate a large number of formal interface properties for verification. We propose a framework to automatically infer system specific interface specifications and properties from static push-down model-checking traces.

Mithun Acharya, Department of Computer Science, North Carolina State University

 

While Space Available
Search
program registration submissions committee lodging portland
For comments and questions about the web site
please contact us at support@oopsla.org
© 2005 OOPSLA