Mining interface specifications for generating checkable robustness properties

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2006, Pages 311-320

  Acharya, Mithun ^a   Xie, Tao ^a   Xu, Jun ^a  

^a North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTERFACES (COMPUTER); MODEL CHECKING; ROBUSTNESS (CONTROL SYSTEMS);

SOFTWARE SYSTEM; STATIC ANALYZER; STATIC CHECKING;

DATA MINING;

EID: 34547678001     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2006.29     Document Type: Conference Paper

References (19)

1. IEEE Computer Society, IEEE Standard Glossary of Software Engineering Terminology, IEEE STD 610.12-1990. December 1990.
2. M. Acharya, T. Sharma, J. Xu, and T. Xie. Effective generation of interface robustness properties for static analysis. In Proc. IEEE/ACM International Conference on Automated Software Engineering, 2006.
3. K. Ashcraft and D. Engler. Using programmer-written compiler extensions to catch security holes. In Proc. IEEE Symposium on Security and Privacy, pages 143-159, 2002.
4. T. Ball and S. Rajamani. Automatically validating temporal safety properties of interfaces. In Proc. Workshop on Model Checking Software, pages 103-122, 2001.
5. H. Chen, D. Dean, and D. Wagner. Model checking one million lines of C code. In Proc. Network and Distributed System Security Symposium, pages 171-185, 2004.
6. H. Chen and D. Wagner. MOPS: an infrastructure for examining security properties of software. In Proc. ACM Conference on Computer and Communications Security, pages 235-244, 2002.
7. M. Dwyer, G. Avrunin, and J. Corbett. Patterns in property specifications for finite-state verification. In Proc. International Conference on Software Engineering, pages 411-420, 1999.
8. D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In Proc. USENIX Symposium on Operating Systems Design, pages 1-16, 2000.
9. 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 Proc. ACM Symposium on Operating Systems Principles, pages 57-72, 2001.
10. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Softw. Eng., 27(2):99-123, 2001.
11. J. Esparza, D. Hansel, P. Rossmanith, and S. Schwoon. Efficient algorithms for model checking push down systems. In Proc. International Conference on Computer Aided Verification, pages 232-247, 2000.
12. J. Forrester and B. P. Miller. An empirical study of the robustness of Windows NT applications using random testing. In Proc. USENIX Windows Systems Symposium, pages 69-78, 2000.
13. J. Haddox, G. Kapfhammer, C. Michael, and M. Schatz. Testing commercial-off-the-shelf software components. In Proc. International Conference and Exposition on Testing Computer Software, 2001.
14. T. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Software verification with BLAST. In Proc. Workshop on Model Checking Software, pages 235-239, 2003.
15. P. Koopman and J. DeVale. The exception handling effectiveness of POSIX operating systems. IEEE Trans. Softw. Eng., 26(9):837-848, 2000.
16. J. W. Nimmer and M. D. Ernst. Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. In Proc. Workshop on Runtime Verification, 2001.
17. M. Weiser. Program slicing. In Proc. International Conference on Software Engineering, pages 439-449, 1981.
18. T. Xie and D. Notkin. Tool-assisted unit test selection based on operational violations. In Proc. IEEE International Conference on Automated Software Engineering, pages 40-48, 2003.
19. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: Mining temporal API rules from imperfect traces. In Proc. International Conference on Software Engineering, pages 282-291, 2006.