Sciweavers

92
Voted
SCAM
2009
IEEE
15 years 10 months ago
Backporting Java 5 Code
Tobias Gutzmann, Tamara Steijger
87
Voted
SCAM
2009
IEEE
15 years 10 months ago
Lightweight Techniques for Tracking Unique Program Statements
Jaime Spacco, Chadd C. Williams
SCAM
2009
IEEE
15 years 10 months ago
Static Estimation of Test Coverage
Tiago L. Alves, Joost Visser
94
Voted
SCAM
2009
IEEE
15 years 10 months ago
Evolution of Type-1 Clones
Nils Göde
SCAM
2009
IEEE
15 years 10 months ago
Towards Comparing and Combining Points-to Analyses
Tobias Gutzmann, Antonina Khairova, Jonas Lundberg...
SCAM
2009
IEEE
15 years 10 months ago
Engineering Abstractions in Model Checking and Testing
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
Michael Achenbach, Klaus Ostermann
75
Voted
SCAM
2009
IEEE
15 years 10 months ago
An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools
Rebecca Tiarks, Rainer Koschke, Raimar Falke
SCAM
2009
IEEE
15 years 10 months ago
A Value Analysis for C Programs
Géraud Canet, Pascal Cuoq, Benjamin Monate