A Novel Automatic Source Code Defects Detection Framework and Evaluation on Popular Java Open Source APIs
Main Article Content
Abstract
Downloads
Article Details
COPYRIGHT
Submission of a manuscript implies: that the work described has not been published before, that it is not under consideration for publication elsewhere; that if and when the manuscript is accepted for publication, the authors agree to automatic transfer of the copyright to the publisher.
Authors who publish with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work
- The journal allows the author(s) to retain publishing rights without restrictions.
- The journal allows the author(s) to hold the copyright without restrictions.
References
Tim A. Wagner, Vance Maverick, Susan L. Graham, and Michael A. Har- rison. Accurate static estimators for program optimization. In PLDI ’94: Proceedings of the ACM SIGPLAN 1994 conference on Programming lan- guage design and implementation, pages 85–96, New York, NY, USA, 1994. ACM.
Cathrin Weiss, Rahul Premraj, Thomas Zimmermann, and Andreas Zeller. How long will it take to fix this bug? In MSR ’07: Proceedings of the Fourth International Workshop on Mining Software Repositories, page 1, Washington, DC, USA, 2007. IEEE Computer Society.
MishaZitser, Richard Lippmann, and Tim Leek. Testing static analysis tools using exploitable buffer overflows from open source code. In SIGSOFT ’04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, pages 97–106, New York, NY, USA, 2004. ACM.
Dawson R. Engler, David Yu Chen, and Andy Chou. Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In SOSP, pages 57–72, 2001
Nick Rutar, Christian B. Almazan, and Jeffrey S. Foster. A comparison of bug finding tools for java. In ISSRE ’04: Proceedings of the 15th Inter- national Symposium on Software Reliability Engineering, pages 245–256, Washington, DC, USA, 2004. IEEE Computer Society.
Stefan Wagner, Jan Jürjens, Claudia Koller, Peter Trischberger, and Tech- nischeUniversitätMünchen. Comparing bug finding tools with reviews and tests. In In Proc. 17th International Conference on Testing of Communicat- ing Systems (TestCom’05), volume 3502 of LNCS, pages 40–55. Springer, 2005.
Youfeng Wu and James R. Larus. Static branch frequency and program profile analysis. In MICRO 27: Proceedings of the 27th annual international symposium on Microarchitecture, pages 1–11, New York, NY, USA, 1994. ACM.
Tim A. Wagner, Vance Maverick, Susan L. Graham, and Michael A. Har- rison. Accurate static estimators for program optimization. In PLDI ’94: Proceedings of the ACM SIGPLAN 1994 conference on Programming lan- guage design and implementation, pages 85–96, New York, NY, USA, 1994. ACM.
Sarah Heckman and Laurie Williams. On establishing a benchmark for eval- uating static analysis alert prioritization and classification techniques. In ESEM ’08: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement, pages 41–50, New York, NY, USA, 2008. ACM.
Ted Kremenek, Ken Ashcraft, Junfeng Yang, and Dawson Engler. Correla- tion exploitation in error ranking. In SIGSOFT ’04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, pages 83–93, New York, NY, USA, 2004. ACM.
Ted Kremenek and Dawson Engler. Z-ranking: using statistical analysis to counter the impact of static analysis approximations. In SAS’03: Proceed- ings of the 10th international conference on Static analysis, pages 295–315, Berlin, Heidelberg, 2003. Springer-Verlag.
Ted Kremenek and Dawson Engler. Z-ranking: using statistical analysis to counter the impact of static analysis approximations. In SAS’03: Proceed- ings of the 10th international conference on Static analysis, pages 295–315, Berlin, Heidelberg, 2003. Springer-Verlag.
Sunghun Kim, Kai Pan, and E. E. James Whitehead, Jr. Memories of bug fixes. In SIGSOFT ’06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, pages 35– 45, New York, NY, USA, 2006. ACM.