Sciweavers

SCAM
2009
IEEE
16 years 12 days ago
Backporting Java 5 Code
Tobias Gutzmann, Tamara Steijger
SCAM
2009
IEEE
16 years 12 days ago
Static Estimation of Test Coverage
Tiago L. Alves, Joost Visser
SCAM
2009
IEEE
16 years 12 days ago
Towards Comparing and Combining Points-to Analyses
Tobias Gutzmann, Antonina Khairova, Jonas Lundberg...
SCAM
2009
IEEE
16 years 12 days 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
16 years 12 days ago
An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools
Rebecca Tiarks, Rainer Koschke, Raimar Falke
SCAM
2009
IEEE
16 years 12 days ago
A Value Analysis for C Programs
Géraud Canet, Pascal Cuoq, Benjamin Monate