Sciweavers

16790 search results - page 120 / 3358
» A Future for Software Engineering
Sort
View
VMCAI
2009
Springer
15 years 11 months ago
Constraint-Based Invariant Inference over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...
CSMR
2009
IEEE
15 years 11 months ago
Incremental Clone Detection
Nils Göde, Rainer Koschke
SCAM
2009
IEEE
15 years 11 months ago
Chopping Concurrent Programs
Dennis Giffhorn