Sciweavers

15799 search results - page 308 / 3160
» Software engineering: a roadmap
Sort
View
COMPSAC
2009
IEEE
16 years 1 months ago
Traceability ReARMed
Jörn David, Maximilian Koegel, Helmut Naughto...
SCAM
2009
IEEE
16 years 1 months ago
Towards Comparing and Combining Points-to Analyses
Tobias Gutzmann, Antonina Khairova, Jonas Lundberg...
SEFM
2009
IEEE
16 years 1 months ago
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...
ICSM
2009
IEEE
16 years 1 months ago
Abstracting the template instantiation relation in C++
Andrew Sutton, Ryan Holeman, Jonathan I. Maletic