|
Conferences in DBLP
90% Perspiration: Engineering Static Analysis Techniques for Industrial Applications. [Citation Graph (, )][DBLP]
Some Assembly Required - Program Analysis of Embedded System Code. [Citation Graph (, )][DBLP]
User-Input Dependence Analysis via Graph Reachability. [Citation Graph (, )][DBLP]
TBCppA: A Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors. [Citation Graph (, )][DBLP]
An Empirical Study of Function Overloading in C++. [Citation Graph (, )][DBLP]
Is Cloned Code More Stable than Non-cloned Code? [Citation Graph (, )][DBLP]
Exploiting the Correspondence between Micro Patterns and Class Names. [Citation Graph (, )][DBLP]
On the Use of Data Flow Analysis in Static Profiling. [Citation Graph (, )][DBLP]
The Semantics of Abstract Program Slicing. [Citation Graph (, )][DBLP]
The Evolution and Decay of Statically Detected Source Code Vulnerabilities. [Citation Graph (, )][DBLP]
From Indentation Shapes to Code Structures. [Citation Graph (, )][DBLP]
Evaluating Key Statements Analysis. [Citation Graph (, )][DBLP]
Fast and Precise Points-to Analysis. [Citation Graph (, )][DBLP]
Aspect-Aware Points-to Analysis. [Citation Graph (, )][DBLP]
Automatic Determination of May/Must Set Usage in Data-Flow Analysis. [Citation Graph (, )][DBLP]
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking. [Citation Graph (, )][DBLP]
Analysis and Transformations for Efficient Query-Based Debugging. [Citation Graph (, )][DBLP]
Change Impact Graphs: Determining the Impact of Prior Code Changes. [Citation Graph (, )][DBLP]
Using Program Transformations to Add Structure to a Legacy Data Model. [Citation Graph (, )][DBLP]
Type Highlighting: A Client-Driven Visual Approach for Class Hierarchies Reengineering. [Citation Graph (, )][DBLP]
Automated Migration of List Based JSP Web Pages to AJAX. [Citation Graph (, )][DBLP]
Beyond Annotations: A Proposal for Extensible Java (XJ). [Citation Graph (, )][DBLP]
Modular Decompilation of Low-Level Code by Partial Evaluation. [Citation Graph (, )][DBLP]
Constructing Subtle Faults Using Higher Order Mutation Testing. [Citation Graph (, )][DBLP]
Rejuvenate Pointcut: A Tool for Pointcut Expression Recovery in Evolving Aspect-Oriented Software. [Citation Graph (, )][DBLP]
Parfait - A Scalable Bug Checker for C Code. [Citation Graph (, )][DBLP]
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. [Citation Graph (, )][DBLP]
Precise Analysis of Java Programs Using JOANA. [Citation Graph (, )][DBLP]
DTS - A Software Defects Testing System. [Citation Graph (, )][DBLP]
|