Sciweavers

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