This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
21st IEEE International Conference on Automated Software Engineering (ASE'06)
Software Library Usage Pattern Extraction Using a Software Model Checker
Tokyo, Japan
September 18-September 22
ISBN: 0-7695-2579-2
Chang Liu, Ohio University
En Ye, Ohio University
Debra J. Richardson, University of California, Irvine
The need to manually specify temporal properties of software systems is a major barrier to wider adoption of software model checking, because the specification of software temporal properties is a difficult, time-consuming, and error-prone process. To address this problem, we propose to automatically extract software library usage patterns, which are one type of temporal specifications. Our approach uses a model checker to check a set of software library usage pattern candidates against existing programs using that library, and identifies valid patterns based on model checking results. These valid patterns can help programmers learn about common software library usage. They can also be used to check new programs using the same library. We applied our approach to C programs using the OpenSSL library and the C standard library, and extracted valid usage patterns using BLAST. We also successfully used the extracted valid usage patterns to detect an error in an open source project hosted by SourceForge.net.
Citation:
Chang Liu, En Ye, Debra J. Richardson, "Software Library Usage Pattern Extraction Using a Software Model Checker," ase, pp.301-304, 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.