SCAM C

21 papers

YearTitle / Authors
2009A Metric Extraction Framework Based on a High-Level Description Language.
El Hachemi Alikacem, Houari A. Sahraoui
2009A Value Analysis for C Programs.
Géraud Canet, Pascal Cuoq, Benjamin Monate
2009An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools.
Rebecca Tiarks, Rainer Koschke, Raimar Falke
2009An Evaluation of Current Java Bytecode Decompilers.
James Alexander George Hamilton, Sebastian Danicic
2009Backporting Java 5 Code.
Tobias Gutzmann, Tamara Steijger
2009Chopping Concurrent Programs.
Dennis Giffhorn
2009Concepts as Syntactic Sugar.
Valentin David, Magne Haveraaen
2009Engineering Abstractions in Model Checking and Testing.
Michael Achenbach, Klaus Ostermann
2009Evolution of Type-1 Clones.
Nils Göde
2009Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters.
David W. Binkley, Mark Harman
2009Improving Side-Effect Analysis with Lazy Access Path Resolving.
Ju Qian, Yuming Zhou, Baowen Xu
2009Lightweight Techniques for Tracking Unique Program Statements.
Jaime Spacco, Chadd C. Williams
2009Maintaining Fine-Grained Code Metadata Regardless of Moving, Copying and Merging.
Christian Prause
2009Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2009, Edmonton, Alberta, Canada, September 20-21, 2009
2009Properties of Slicing Definitions.
Martin P. Ward
2009RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation.
Paul Klint, Tijs van der Storm, Jurgen J. Vinju
2009Recovering Grammar Relationships for the Java Language Specification.
Ralf Lämmel, Vadim Zaytsev
2009Static Estimation of Test Coverage.
Tiago L. Alves, Joost Visser
2009The FermaT Maintenance Environment Tool Demonstration.
Martin P. Ward
2009Towards Comparing and Combining Points-to Analyses.
Tobias Gutzmann, Antonina Khairova, Jonas Lundberg, Welf Löwe
2009thr2csp: Toward Transforming Threads into Communicating Sequential Processes.
Robert Charles Lange, Spiros Mancoridis