Sciweavers

81
Voted
SCAM
2009
IEEE
15 years 9 months ago
Backporting Java 5 Code
Tobias Gutzmann, Tamara Steijger
78
Voted
SCAM
2009
IEEE
15 years 9 months ago
Lightweight Techniques for Tracking Unique Program Statements
Jaime Spacco, Chadd C. Williams
80
Voted
SCAM
2009
IEEE
15 years 9 months ago
Static Estimation of Test Coverage
Tiago L. Alves, Joost Visser
88
Voted
SCAM
2009
IEEE
15 years 9 months ago
Evolution of Type-1 Clones
Nils Göde
SCAM
2009
IEEE
15 years 9 months ago
Towards Comparing and Combining Points-to Analyses
Tobias Gutzmann, Antonina Khairova, Jonas Lundberg...
119
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
69
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
78
Voted
SCAM
2009
IEEE
15 years 9 months ago
A Value Analysis for C Programs
Géraud Canet, Pascal Cuoq, Benjamin Monate