The SCEAS System
Navigation Menu

Conferences in DBLP

Source Code Analysis and Manipulation (scam)
2008 (conf/scam/2008)


  1. 90% Perspiration: Engineering Static Analysis Techniques for Industrial Applications. [Citation Graph (, )][DBLP]


  2. Some Assembly Required - Program Analysis of Embedded System Code. [Citation Graph (, )][DBLP]


  3. User-Input Dependence Analysis via Graph Reachability. [Citation Graph (, )][DBLP]


  4. TBCppA: A Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors. [Citation Graph (, )][DBLP]


  5. An Empirical Study of Function Overloading in C++. [Citation Graph (, )][DBLP]


  6. Is Cloned Code More Stable than Non-cloned Code? [Citation Graph (, )][DBLP]


  7. Exploiting the Correspondence between Micro Patterns and Class Names. [Citation Graph (, )][DBLP]


  8. On the Use of Data Flow Analysis in Static Profiling. [Citation Graph (, )][DBLP]


  9. The Semantics of Abstract Program Slicing. [Citation Graph (, )][DBLP]


  10. The Evolution and Decay of Statically Detected Source Code Vulnerabilities. [Citation Graph (, )][DBLP]


  11. From Indentation Shapes to Code Structures. [Citation Graph (, )][DBLP]


  12. Evaluating Key Statements Analysis. [Citation Graph (, )][DBLP]


  13. Fast and Precise Points-to Analysis. [Citation Graph (, )][DBLP]


  14. Aspect-Aware Points-to Analysis. [Citation Graph (, )][DBLP]


  15. Automatic Determination of May/Must Set Usage in Data-Flow Analysis. [Citation Graph (, )][DBLP]


  16. Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking. [Citation Graph (, )][DBLP]


  17. Analysis and Transformations for Efficient Query-Based Debugging. [Citation Graph (, )][DBLP]


  18. Change Impact Graphs: Determining the Impact of Prior Code Changes. [Citation Graph (, )][DBLP]


  19. Using Program Transformations to Add Structure to a Legacy Data Model. [Citation Graph (, )][DBLP]


  20. Type Highlighting: A Client-Driven Visual Approach for Class Hierarchies Reengineering. [Citation Graph (, )][DBLP]


  21. Automated Migration of List Based JSP Web Pages to AJAX. [Citation Graph (, )][DBLP]


  22. Beyond Annotations: A Proposal for Extensible Java (XJ). [Citation Graph (, )][DBLP]


  23. Modular Decompilation of Low-Level Code by Partial Evaluation. [Citation Graph (, )][DBLP]


  24. Constructing Subtle Faults Using Higher Order Mutation Testing. [Citation Graph (, )][DBLP]


  25. Rejuvenate Pointcut: A Tool for Pointcut Expression Recovery in Evolving Aspect-Oriented Software. [Citation Graph (, )][DBLP]


  26. Parfait - A Scalable Bug Checker for C Code. [Citation Graph (, )][DBLP]


  27. CoordInspector: A Tool for Extracting Coordination Data from Legacy Code. [Citation Graph (, )][DBLP]


  28. Precise Analysis of Java Programs Using JOANA. [Citation Graph (, )][DBLP]


  29. DTS - A Software Defects Testing System. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002