Software library usage pattern extraction using a software model checker

Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006

Volumn , Issue , 2006, Pages 301-304

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

^a Ohio University   (United States)

^b Ringgold Standard Institution Informatics   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKERS; SOFTWARE SYSTEMS; TEMPORAL PROPERTIES; TEMPORAL SPECIFICATIONS;

COMPUTER PROGRAMMING; COMPUTER SOFTWARE; DIGITAL LIBRARIES; E-LEARNING; ERROR ANALYSIS; MODEL CHECKING;

PATTERN RECOGNITION;

EID: 34547434079     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2006.63     Document Type: Conference Paper

References (6)

1. Kino: http://sourceforge.net/projects/kino/.
2. LtRules: http://www.ent.ohiou.edu/~liuc/ltrules.
3. 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.
4. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999.
5. 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.
6. C. Liu, E. Ye, and D. J. Richardson. LtRules: an automated software library usage rule extraction tool. In ICSE '06: Proceedings of the 28th International Conference on Software Engineering. Research Demonstrations, 2006.