Sciweavers

SCAM
2009
IEEE
13 years 11 months ago
Backporting Java 5 Code
Tobias Gutzmann, Tamara Steijger
SCAM
2009
IEEE
13 years 11 months ago
Static Estimation of Test Coverage
Tiago L. Alves, Joost Visser
SCAM
2009
IEEE
13 years 11 months ago
Towards Comparing and Combining Points-to Analyses
Tobias Gutzmann, Antonina Khairova, Jonas Lundberg...
SCAM
2009
IEEE
13 years 11 months ago
Engineering Abstractions in Model Checking and Testing
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
Michael Achenbach, Klaus Ostermann
SCAM
2009
IEEE
13 years 11 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
13 years 11 months ago
A Value Analysis for C Programs
Géraud Canet, Pascal Cuoq, Benjamin Monate