Automatically inferring temporal properties for program evolution

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2004, Pages 340-351

  Yang, Jinlin ^a   Evans, David ^a  

^a University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC INFERENCE; OPENSSL; TEMPORAL PROPERTIES;

INFORMATION ANALYSIS; NETWORK PROTOCOLS; SECURITY OF DATA; SOFTWARE ENGINEERING; STUDENTS; TECHNOLOGY TRANSFER;

COMPUTER SOFTWARE;

EID: 16244415570     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. G. Ammons, R. Bodik, and J. R. Larus. Mining specifications. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2002
2. G. Ammons, D. Mandelin, R. Bodik, and J. R. Larus. Debugging temporal specifications with concept analysis. SIGPLAN Conference on Programming Language Design and Implementation, June 2003.
3. T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces, a International SPIN Workshop on Model Checking of Software, May 2001.
4. D. Binkley, R. Capellini, L. Raszewski, C. Smith. An implementation of and experiment with semantic differencing. 2007 IEEE International Conference on Software Maintenance, Nov 2001.
5. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and Hwang. Symbolic model checking: 1020 states and beyond. 4 Annual Symposium on Logic in Computer Science, June 1990.
6. th International Conference on Software Engineering, May 2003.
7. J. E. Cook, Z. Du, C. Liu, and A. L. Wolf. Discovering Models of Behavior for Concurrent Workflows. Computers in Industry, pp. 297-319, Vol. 53, No. 3, April 2004.
8. J. Corbett, M. Dwyer, J. Hatcliff, S. Laubach, C. Pasareanu, Robby, H. Zheng. Bandera: extracting finite-state models from Java source code. 22nd International Conference on Software Engineering, June 2000.
9. J. Corbett, M. Dwyer, and J. Hatcliff, and Robby. Expressing checkable properties of dynamic systems: the Bandera specification language. KSU CIS Technical Report 2001-04, Kansas State University, 2001.
10. T. Cormen, C. Leiserson and R. Rivest. Introduction to Algorithm, MIT Press, 1990.
11. M. Dwyer, G. Avrunin, and J. Corbett. Patterns in property specifications for finite-state verification. 21st International Conference on Software Engineering, May 1999.
12. M. Ernst, J. Cockrell, W. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, February 2001.
13. A. O. Freier, P. Karlton, and P. C. Kocher. The SSL protocol, version 3.0. http://wp.netscape.com/eng/ssl3/.
14. K. Havelund and T. Pressburger. Model checking Java programs using Java Pathfinder. International Journal on Software Tools for Technology Transfer, September 1999.
15. K. Havelund. Using runtime analysis to guide model checking of Java programs. 7th International SPIN Workshop on Model Checking of Software, August/September 2000.
16. G. J. Holzmann. The model checker Spin. IEEE Transactions on Software Engineering, May 1997.
17. th ACM SIGSOFT International Symposium on Foundations of Software Engineering, November 2002.
18. S. Horwitz. Identifying the semantic and textual differences between two versions of a program. SIGPLAN Conference on Programming Language Design and Implementation, June 1990.
19. th International Conference on Software Engineering, 1994.
20. Algorithm::Huffman module on CPAN. http://search.cpan.org/~bigj/Algorithm-Huffman-0.09/Huffman.pm
21. D. Jackson and D. Ladd. Semantic diff: a tool for summarizing the effects of modifications. International Conference on Software Maintenance, October 1994.
22. W. Miller and E. W. Myers. A File Comparison Program. Software - Practice and Experience, Vol. 15 No. 11, 1985.
23. J. W. Nimmer and M. D. Ernst. Invariant inference for static checking: an empirical evaluation. ACM SIGSOFT Symposium on the Foundations of Software Engineering, November 2002.
24. K. M. Olender and L J. Osterweil. Cecil: a sequencing constraint language for automatic static analysis generation. IEEE Transactions on Software Engineering, March 1990.
25. OpenSSL. http://www.openssl.org/
26. OpenSSL security advisory, 17 March 2004. http://www.openssl.org/news/secadv_20040317.txt
27. th Annual Symposium on Foundations of Computer Science, October/November 1977.
28. E. Rescorla. An introduction to OpenSSL programming (part 1). http://www.rtfm.com/openssl-examples/, October 2001.
29. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. International Symposium on Software Testing and Analysis, July 2002.
30. J. Yang and D. Evans. Dynamically Inferring Temporal Properties. ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, June 2004.