Who writes what checkers? - Learning from bug repositories

10th Workshop on Hot Topics in System Dependability, HotDep 2014

Volumn , Issue , 2014, Pages

  Yoshimura, Takeshi ^a   Kono, Kenji ^a  

^a KEIO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

LINUX;

C CODES; DEVICE DRIVER; DOMAIN SPECIFIC; DOMAIN-SPECIFIC KNOWLEDGE; NATURAL LANGUAGE PROCESSING; STATIC CODES;

NATURAL LANGUAGE PROCESSING SYSTEMS;

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

References (26)

1. BALL, T., BOUNIMOVA, E., COOK, B., LEVIN, V., LICHTENBERG, J., MCGARVEY, C., ONDRUSEK, B., RAJAMANI, S. K., AND USTUNER, A. Thorough static analysis of device drivers. In Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006 (EuroSys '06) (2006), pp. 73-85.
2. BLEI, D. M., NG, A. Y., AND JORDAN, M. I. Latent dirichlet allocation. Journal of Machine Learning Research 3 (2003), 993-1022.
3. CADAR, C., DUNBAR, D., AND ENGLER, D. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI '08) (2008), pp. 209-224.
4. CHIPOUNOV, V., KUZNETSOV, V., AND CANDEA, G. S2e: A platform for in-vivo multi-path analysis of software systems. In Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVI) (2011), pp. 265-278.
5. CHOU, A., YANG, J., CHELF, B., HALLEM, S., AND ENGLER, D. An empirical study of operating systems errors. In Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles (SOSP '01) (2001), pp. 73-88.
6. COTRONEO, D., GROTTKE, M., NATELLA, R., PIETRANTUONO, R., AND TRIVEDI, K. Fault triggers in open-source software: An experience report. In 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE '13) (2013), pp. 178-187.
7. ENGLER, D., CHELF, B., CHOU, A., AND HALLEM, S. Checking system rules using system-specific, programmer-written compiler extensions. In Proceedings of the 4th Conference on Symposium on Operating System Design & Implementation (OSDI '00) (2000).
8. ENGLER, D., CHEN, D. Y., HALLEM, S., CHOU, A., AND CHELF, B. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles (SOSP '01) (2001), pp. 57-72.
9. GANAPATHI, A., GANAPATHI, V., AND PATTERSON, D. Windows xp kernel crash analysis. In Proceedings of the 20th Conference on Large Installation System Administration (LISA '06) (2006).
10. JALBERT, N., AND WEIMER, W. Automated duplicate detection for bug tracking systems. In International Conference on Dependable Systems and Networks (DSN '08) (2008), pp. 52-61.
11. KADAV, A., RENZELMANN, M. J., AND SWIFT, M. M. Tolerating hardware device failures in software. In Proceedings of the ACM SIGOPS 22Nd Symposium on Operating Systems Principles (SOSP '09) (2009), pp. 59-72.
12. KLEIN, G., ELPHINSTONE, K., HEISER, G., ANDRONICK, J., COCK, D., DERRIN, P., ELKADUWE, D., ENGELHARDT, K., KOLANSKI, R., NORRISH, M., SEWELL, T., TUCH, H., AND WINWOOD, S. sel4: Formal verification of an os kernel. In Proceedings of the ACM SIGOPS 22Nd Symposium on Operating Systems Principles (SOSP '09) (2009), pp. 207-220.
13. LAWALL, J., BRUNEL, J., PALIX, N., HANSEN, R., STUART, H., AND MULLER, G. Wysiwib: A declarative approach to finding api protocols and bugs in linux code. In IEEE/IFIP International Conference on Dependable Systems Networks (DSN '09) (2009), pp. 43-52.
14. LU, L., ARPACI-DUSSEAU, A. C., ARPACI-DUSSEAU, R. H., AND LU, S. A study of linux file system evolution. In Proceedings of the 11th USENIX Conference on File and Storage Technologies (FAST'13) (2013), pp. 31-44.
15. LU, S., PARK, S., SEO, E., AND ZHOU, Y. Learning from mistakes: A comprehensive study on real world concurrency bug characteristics. In Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XIII) (2008), pp. 329-339.
16. MANNING, C. D., RAGHAVAN, P., AND SCHUETZE, H. Introduction to Information Retrieval. Cambridge University Press, 2008.
17. PALIX, N., THOMAS, G., SAHA, S., CALVÈS, C., LAWALL, J., AND MULLER, G. Faults in linux: Ten years later. In Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVI) (2011), pp. 305-318.
18. PARK, S., LU, S., AND ZHOU, Y. Ctrigger: Exposing atomicity violation bugs from their hiding places. In Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XIV) (2009), pp. 25-36.
19. RENZELMANN, M. J., KADAV, A., AND SWIFT, M. M. Symdrive: Testing drivers without devices. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12) (2012), pp. 279-292.
20. RUNESON, P., ALEXANDERSSON, M., AND NYHOLM, O. Detection of duplicate defect reports using natural language processing. In Proceedings of the 29th International Conference on Software Engineering (ICSE '07) (2007), pp. 499-510.
21. RYZHYK, L., CHUBB, P., KUZ, I., LE SUEUR, E., AND HEISER, G. Automatic device driver synthesis with termite. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles (SOSP '09) (2009), pp. 73-86.
22. SAHA, S., LOZI, J.-P., THOMAS, G., LAWALL, J. L., AND MULLER, G. Hector: Detecting resource-release omission faults in error-handling code for systems software. In Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '13) (2013), pp. 1-12.
23. TIAN, Y., LAWALL, J., AND LO, D. Identifying linux bug fixing patches. In Proceedings of the 34th International Conference on Software Engineering (ICSE '12) (2012), pp. 386-396.
24. WANG, X., ZELDOVICH, N., KAASHOEK, M. F., AND SOLARLEZAMA, A. Towards optimization-safe systems: Analyzing the impact of undefined behavior. In Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles (SOSP '13) (2013), pp. 260-275.
25. YANG, J., TWOHEY, P., ENGLER, D., AND MUSUVATHI, M. Using model checking to find serious file system errors. In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation (OSDI '04) (2004).
26. YIN, Z., MA, X., ZHENG, J., ZHOU, Y., BAIRAVASUNDARAM, L. N., AND PASUPATHY, S. An empirical study on configuration errors in commercial and open source systems. In Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles (SOSP '11) (2011), pp. 159-172.