Sciweavers

76
Voted
SCAM
2009
IEEE
15 years 9 months ago
Backporting Java 5 Code
Tobias Gutzmann, Tamara Steijger
75
Voted
SCAM
2009
IEEE
15 years 9 months ago
Lightweight Techniques for Tracking Unique Program Statements
Jaime Spacco, Chadd C. Williams
69
Voted
SCAM
2009
IEEE
15 years 9 months ago
A Metric Extraction Framework Based on a High-Level Description Language
El Hachemi Alikacem, Houari A. Sahraoui
76
Voted
SCAM
2009
IEEE
15 years 9 months ago
Static Estimation of Test Coverage
Tiago L. Alves, Joost Visser
83
Voted
SCAM
2009
IEEE
15 years 9 months ago
Evolution of Type-1 Clones
Nils Göde
77
Voted
SCAM
2009
IEEE
15 years 9 months ago
Towards Comparing and Combining Points-to Analyses
Tobias Gutzmann, Antonina Khairova, Jonas Lundberg...
117
Voted
SCAM
2009
IEEE
15 years 9 months ago
Engineering Abstractions in Model Checking and Testing
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
Michael Achenbach, Klaus Ostermann
66
Voted
SCAM
2009
IEEE
15 years 9 months ago
An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools
Rebecca Tiarks, Rainer Koschke, Raimar Falke
72
Voted
SCAM
2009
IEEE
15 years 9 months ago
A Value Analysis for C Programs
Géraud Canet, Pascal Cuoq, Benjamin Monate