Predicting Accurate and Actionable Static Analysis Warnings: An
May 10, 2008 ... Static Analysis Warnings: An Experimental Approach. Joseph R. ... models can achieve high accuracy in predicting accurate and ac- tionable ...
[ icse08.pdf - Read/Download File
Finding Patterns in Static Analysis Alerts: Improving Actionable Alert
actionable alert prediction model that is able to classify new. SA alerts. We evaluate ... Static analysis, bug detection, alert classification, machine learning, alert ...
[ msr_2014_hanam.pdf - Read/Download File
A Model Building Process for Identifying Actionable Static Analysis
static analysis alerts as actionable or unactionable using machine learning .... important when predicting actionable alerts. ... prediction had an average accuracy of 93.9% and was ...... Static Analysis Warnings: An Experimental Approach,".
[ CR_Certified.pdf - Read/Download File
Automatic Construction of an Effective Training Set
Static analysis tools, warning prioritization, training-set construc- .... help of our predictor trained with our effective training set. .... actionable (i.e., accurate and worth fixing for developers). A ...... ysis warnings: an experimental approach. In Proc.
[ ase10-warning.pdf - Read/Download File
To What Extent Could We Detect Field Defects?
Sep 7, 2012 ... Keywords. Static bug-finding tools, field defects, false negatives. 1. ... many static analysis tools have been proposed to find bugs. Static bug ... To ensure accurate identification of faulty lines of code, we ...  predict potential faults from ...... actionable static analysis warnings: an experimental approach.
[ ase12FNStudy.pdf - Read/Download File
A Framework to Compare Alert Ranking Algorithms - RMoD - Inria
In Section IV we analyze the results of the experiments according to the ...... Predicting Accurate and Actionable Static Analysis Warnings: an Experimental ...
[ Alli12a-wcre2012-ComparisonOfAlertsRankingAlgorithms.pdf - Read/Download File
A Report on a Survey and Study of Static Analysis Users - UMD
Jul 20, 2008 ... As static analysis tools mature and attract more users, ven- ... cisions about the accuracy and severity of warnings fairly .... users were assigned to the FindBugs experiment while the ..... Predicting accurate and actionable.
[ p1-ayewah.pdf - Read/Download File
Path Projection for User-Centered Static Analysis Tools - UMD
gram paths, a common component of many static analysis tools' error reports. ... to complete this task, without affecting accuracy, and that ... controlled experiment in which users triaged reports pro- duced by ..... steps they took to verify the warning. ...... Predicting accurate and actionable static analysis warnings. In ICSE '08,.
[ pathproj.pdf - Read/Download File
Analyzing the State of Static Analysis - Computer Science
Automated Static Analysis Tools (ASATs) scan the source or binary code of a software ...... “Predicting accurate and actionable static analysis warnings: an exper- ...  A. K. Tripathi and A. Gupta, “A controlled experiment to evaluate the .
[ 2016_beller_bholanath_mcintosh_zaidman_analyzing_the_state_of_static_analysis_a_large-scale_evaluation_in_open_source_software.pdf - Read/Download File
XFindBugs: eXtended FindBugs for AspectJ - Sai Zhang
Our experiment also indicates that ... INTRODUCTION. Static analysis for software defect detection is a promising tech- ... ate a warning about the type conflicts introduced by an aspect. In ...... Predicting accurate and actionable static analysis ...
[ shen-paste08.pdf - Read/Download File
EFindBugs: Effective Error Ranking for FindBugs - stap
Our experiment on three widely-used Java projects. (AspectJ, Tomcat ... Typically , static analysis tools emit error reports about the checking ... to improve the accuracy of ranking. ...... to predict accurate and actionable static analysis warnings.
[ Icst2011.pdf - Read/Download File
Characterizing and Predicting Which Bugs Get Fixed: An Empirical
reports to characterize and predict which bugs get fixed with re- spect to the ... static analysis warnings by building models to predict which warn- ings are likely ...
[ guo_icse10_camera_ready.pdf - Read/Download File
At Ease with your Warnings: The Principles of the Salutogenesis
a triage and recommendation model for static analysis tools and give an example of .... in six experiments that choosing drains a psychological re- source that is ..... Predicting accurate and actionable static analysis warnings: an experimental ...
[ Salutogenese_Reconmendation.pdf - Read/Download File
When Would This Bug Get Reported? - Singapore Management
users. To investigate bug reporting latencies, we analyze bugs from three Java software ...... and G. Rothermel, “Predicting accurate and actionable static analysis warnings: An experimental approach,” in ICSE, 2008, pp. 341–350.  SPSS ...
[ icsm12buglatency.pdf - Read/Download File
FSE10 - Department of Computer Science
Nov 11, 2010 ... static analysis based on full path exploration is not scalable. An- other reason is that ... experiments that demonstrate the common existence of fault correlations and the .... in the figure. Example 2: Static tools potentially report many warnings for. 309 ...... Predicting accurate and actionable static analysis ...
[ le_fse10.pdf - Read/Download File
Review Efforts Reduction by Partitioning of Static Analysis Warnings
Static analysis tools report a large number of warnings due to the abstractions .... various experiments performed and observed results. Section. VI presents the ...... G. Rothermel, “Predicting accurate and actionable static analysis warnings: an ...
[ 06648191.pdf - Read/Download File
Unifying Verification and Validation Techniques : Relating - nitrd
as various forms of static analysis, automated verification, and test generation, are ... accurate assessment of property-behavior conformance. ..... Predicting accurate and actionable static analysis warnings: an experimental approach. In Proc.
[ Unifying_Verification_and_Validation_Techniques_Relating_Behavior_and_Properties_through_Partial_Evidence_-_p93.pdf - Read/Download File
Thesis - Department of Computer Science and Engineering, CUHK
Experimental results show that our approach can more effectively reduce the ..... sion models that predict whether a static analysis warning is accurate and.
[ wujie_phdthesis.pdf?id=students:phd&cache=cache - Read/Download File
Bug Prediction Based on Fine-Grained Module - Osaka University
Sep 20, 2011 ... and G. Rothermel, “Predicting accurate and actionable static analysis warnings: an experimental approach,” In ICSE '08, pp. 341–350, 2008.
[ ded6ef2ec762e4bb90e5faa983ddc45fdedc.pdf - Read/Download File
Comparing Static Bug Finders and Statistical Prediction - Earl Barr
Sep 17, 2010 ... Static analysis seeks to find defects using algorithms that process .... deed, our dataset of warnings from bug-finding tools is very hard-won, and we ... These findings are actionable; as explained earlier, DP are independent of .... of accuracy. .... Our central experimental conceit is evaluation based on actual ...
[ kantagain.pdf - Read/Download File