Sciweavers

18898 search results - page 413 / 3780
» The Making of a Software Engineer
Sort
View
IWPC
2008
IEEE
16 years 1 months ago
Aspect Mining in Procedural Object Oriented Code
Muhammad Usman Bhatti, Stéphane Ducasse, Aw...
149
Voted
KBSE
2008
IEEE
16 years 1 months ago
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking
Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...