LtRules: An automated software library usage rule extraction tool

Proceedings - International Conference on Software Engineering

Volumn 2006, Issue , 2006, Pages 823-826

  Liu, Chang ^a   Ye, En ^a   Richardson, Debra J ^b  

^a OHIO UNIVERSITY   (United States)

^b Ringgold Standard Institution Informatics   (United States)

Author keywords

Model checking; Software library usage rule

Indexed keywords

C PROGRAMS; SOFTWARE LIBRARY USAGE RULES; SOFTWARE SYSTEMS; SOFTWARE TEMPORAL PROPERTIES;

DIGITAL LIBRARIES; LEARNING SYSTEMS; LOGIC PROGRAMMING; MODEL CHECKING; SPECIFICATIONS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 34247109615     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. OpenSSL: http://www.openssl.org/.
2. R. Alur, P. Cerny, P. Madhusudan, and W. Nam. Synthesis of interface specifications for Java classes. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, pages 98-109. ACM Press, 2005.
3. G. Ammons, R. Bodik, and J. R. Larus. Mining specifications. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages, pages 4-16. ACM Press, 2002.
4. T. Ball, V. Levin, and F. Xie. Automatic creation of environment models via training. In TACAS '04: Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 93-107, 2004.
5. T. Ball and S. K. Rajamani. The SLAM project: debugging system software via static analysis. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 1-3. ACM Press, 2002.
6. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999.
7. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: a general approach to inferring errors in systems code. In SOSP '01: Proceedings of the 18th ACM Symposium on Operating Systems Principles, pages 57-72. ACM Press, 2001.
8. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2): 1-25, Feb. 2001.
9. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Software verification with BLAST. In SPIN '03: Proceedings of the 10th International SPIN Workshop on Model Checking of Software, pages 235-239, 2003.
10. W. Weimer and G. Necula. Mining temporal specifications for error detection. In TACAS '05: Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2005.
11. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 218-228. ACM Press, 2002.
12. J. Yang and D. Evans. Automatically inferring temporal properties for program evolution. In ISSRE '04: Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering, pages 340-341, 2004.