On the public citation graph
Prioritizing Software Inspection Results using Static Profiling
0 signed · 80 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/(sici)1097-024x(200006)30:7<775::aid-spe309>3.0.co;2-hopenalex-snapshot
A static analyzer for finding dynamic programming errors
inferredcites →https://doi.org/10.1007/3-540-44898-5_16openalex-snapshot
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
inferredcites →https://doi.org/10.1007/3-540-46423-9_7openalex-snapshot
Constant Propagation on the Value Graph: Simple Constants and Beyond
inferredcites →https://doi.org/10.1007/3-540-57877-3_25openalex-snapshot
Interprocedural constant propagation using dependence graphs and a data-flow model
inferredcites →https://doi.org/10.1007/3-540-59293-8_226openalex-snapshot
Precise interprocedural dataflow analysis with applications to constant propagation
inferredcites →https://doi.org/10.1007/3-540-61053-7_54openalex-snapshot
Generalized Constant Propagation a study in C
inferredcites →https://doi.org/10.1007/978-3-540-27864-1_2openalex-snapshot
The Blast Query Language for Software Verification
inferredcites →https://doi.org/10.1007/978-3-642-48354-7_13openalex-snapshot
Design and Code Inspections to Reduce Errors in Program Development
inferredcites →https://doi.org/10.1007/bfb0014197openalex-snapshot
Demand-driven, symbolic range propagation
inferredcites →https://doi.org/10.1016/0304-3975(96)00072-2openalex-snapshot
Precise interprocedural dataflow analysis with applications to constant propagation
inferredcites →https://doi.org/10.1109/52.382180openalex-snapshot
Software testability: the new verification
inferredcites →https://doi.org/10.1109/52.62929openalex-snapshot
Experience with inspection in ultralarge-scale development
inferredcites →https://doi.org/10.1109/52.976940openalex-snapshot
Improving security using extensible lightweight static analysis
inferredcites →https://doi.org/10.1109/acsac.2000.898880openalex-snapshot
ITS4: a static vulnerability scanner for C and C++ code
inferredcites →https://doi.org/10.1109/metric.2002.1011331openalex-snapshot
Software inspection benchmarking-a qualitative and quantitative comparative opportunity
inferredcites →https://doi.org/10.1109/micro.1994.717399openalex-snapshot
Static branch frequency and program profile analysis
inferredcites →https://doi.org/10.1109/pact.1998.727253openalex-snapshot
Improving static branch prediction in a compiler
inferredcites →https://doi.org/10.1109/tse.2004.22openalex-snapshot
Modular verification of software components in C
inferredcites →https://doi.org/10.1145/113445.113451openalex-snapshot
Predicting program behavior using real or estimated profiles
inferredcites →https://doi.org/10.1145/143365.143493openalex-snapshot
Predicting conditional branch directions from previous runs of a program
inferredcites →https://doi.org/10.1145/178243.178251openalex-snapshot
Accurate static estimators for program optimization
inferredcites →https://doi.org/10.1145/192724.192725openalex-snapshot
Static branch frequency and program profile analysis
inferredcites →https://doi.org/10.1145/207110.207117openalex-snapshot
Accurate static branch prediction by value range propagation
inferredcites →https://doi.org/10.1145/263699.263703openalex-snapshot
Fast and accurate flow-insensitive points-to analysis
inferredcites →https://doi.org/10.1145/268411.268421openalex-snapshot
Understanding the sources of variation in software inspections
inferredcites →https://doi.org/10.1145/512529.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.1145/512557.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.1145/77606.77608openalex-snapshot
Interprocedural slicing using dependence graphs
inferredcites →https://doi.org/10.1147/sj.153.0182openalex-snapshot
Design and code inspections to reduce errors in program development
inferredcites →https://doi.org/10.1515/9780691214696openalex-snapshot
A Mathematical Theory of Evidence
inferredcites →https://doi.org/10.21236/ada419626openalex-snapshot
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
inferredcites →https://doi.org/10.2307/j.ctv10vm1qbopenalex-snapshot
A Mathematical Theory of Evidence
inferredcites →https://doi.org/10.5555/1251229.1251230openalex-snapshot
Checking system rules using system-specific, programmer-written compiler extensions
inferredcites →https://doi.org/10.5555/522344.825696openalex-snapshot
Improving static branch prediction in a compiler
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-319-09492-2_8openalex-snapshot
An Overview of Experimental Studies on Software Inspection Process
inferred← citeshttps://doi.org/10.1007/978-3-642-22655-7_24openalex-snapshot
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs
inferred← citeshttps://doi.org/10.1007/s11219-016-9321-yopenalex-snapshot
Model-based testing of digital TVs: an industry-as-laboratory approach
inferred← citeshttps://doi.org/10.1016/j.infsof.2010.12.007openalex-snapshot
A systematic literature review of actionable alert identification techniques for automated static code analysis
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.04.014openalex-snapshot
A bug finder refined by a large set of open-source projects
inferred← citeshttps://doi.org/10.1109/access.2021.3057565openalex-snapshot
Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis
inferred← citeshttps://doi.org/10.1109/apsec.2014.81openalex-snapshot
Reducing False Alarms from an Industrial-Strength Static Analyzer by SVM
inferred← citeshttps://doi.org/10.1109/compsac.2012.22openalex-snapshot
An Effective Defect Detection and Warning Prioritization Approach for Resource Leaks
inferred← citeshttps://doi.org/10.1109/compsac61105.2024.00387openalex-snapshot
Call Graph Delta Analysis and Security Vulnerability Assessment with Static Analysis
inferred← citeshttps://doi.org/10.1109/csmr.2007.45openalex-snapshot
Supporting Reliable Software Evolution through Program Analysis
inferred← citeshttps://doi.org/10.1109/date.2008.4484846openalex-snapshot
Dependability for high-tech systems: an industry-as-laboratory approach
inferred← citeshttps://doi.org/10.1109/icece.2010.348openalex-snapshot
One Fast Discrete Correlation Algorithm in the Frequency Domain
inferred← citeshttps://doi.org/10.1109/icsm.2008.4658076openalex-snapshot
Assessing the value of coding standards: An empirical study
inferred← citeshttps://doi.org/10.1109/icst.2011.51openalex-snapshot
EFindBugs: Effective Error Ranking for FindBugs
inferred← citeshttps://doi.org/10.1109/msr.2007.26openalex-snapshot
Prioritizing Warning Categories by Analyzing Software History
inferred← citeshttps://doi.org/10.1109/qrs-c55045.2021.00019openalex-snapshot
Semantic-based false alarm detection approach via machine learning
inferred← citeshttps://doi.org/10.1109/qrs-c55045.2021.00103openalex-snapshot
A machine learning-based static analysis warning prioritization
inferred← citeshttps://doi.org/10.1109/saner.2015.7081847openalex-snapshot
Identifying the exact fixing actions of static rule violation
inferred← citeshttps://doi.org/10.1109/scam.2008.18openalex-snapshot
On the Use of Data Flow Analysis in Static Profiling
inferred← citeshttps://doi.org/10.1109/scam.2009.15openalex-snapshot
Static Estimation of Test Coverage
inferred← citeshttps://doi.org/10.1109/scam.2010.28openalex-snapshot
Why Source Code Analysis and Manipulation Will Always be Important
inferred← citeshttps://doi.org/10.1109/scam.2013.6648191openalex-snapshot
Review efforts reduction by partitioning of static analysis warnings
inferred← citeshttps://doi.org/10.1109/scam.2016.25openalex-snapshot
Survey of Approaches for Handling Static Analysis Alarms
inferred← citeshttps://doi.org/10.1109/tse.2023.3329667openalex-snapshot
Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities
inferred← citeshttps://doi.org/10.1109/wcre.2012.37openalex-snapshot
A Framework to Compare Alert Ranking Algorithms
inferred← citeshttps://doi.org/10.1145/1287624.1287633openalex-snapshot
Which warnings should I fix first?
inferred← citeshttps://doi.org/10.1145/1403375.1403673openalex-snapshot
Dependability for high-tech systems
inferred← citeshttps://doi.org/10.1145/1414004.1414013openalex-snapshot
On establishing a benchmark for evaluating static analysis alert prioritization and classification techniques
inferred← citeshttps://doi.org/10.1145/1858996.1859013openalex-snapshot
Automatic construction of an effective training set for prioritizing static analysis warnings
inferred← citeshttps://doi.org/10.1145/2483760.2483778openalex-snapshot
Dynamically validating static memory leak warnings
inferred← citeshttps://doi.org/10.1145/2499393.2499399openalex-snapshot
A comparative evaluation of static analysis actionable alert identification techniques
inferred← citeshttps://doi.org/10.1145/2597008.2597805openalex-snapshot
Prioritizing maintainability defects based on refactoring recommendations
inferred← citeshttps://doi.org/10.1145/3306446.3340828openalex-snapshot
Ranking warnings from multiple source code static analyzers via ensemble learning
inferred← citeshttps://doi.org/10.11606/d.45.2018.tde-20082018-170140openalex-snapshot
Ranking source code static analysis warnings for continuous monitoring of free/libre/open source software repositories
inferred← citeshttps://doi.org/10.15514/ispras-2017-29(3)-6openalex-snapshot
Survey on static program analysis results refinement approaches
inferred← citeshttps://doi.org/10.4304/jnw.7.6.895-907openalex-snapshot
Virtual World Security Inspection
inferred← citeshttps://doi.org/10.48550/arxiv.1209.6466openalex-snapshot
Four-Step Approach Model of Inspection (FAMI) for Effective Defect Management in Software Development
inferred← citeshttps://doi.org/10.5220/0004454000660076openalex-snapshot
Experimental Studies in Software Inspection Process - A Systematic Mapping
inferred← citeshttps://doi.org/10.5555/2032497.2032532openalex-snapshot
Frequency estimation of virtual call targets for object-oriented programs
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.