Sciweavers

15885 search results - page 79 / 3177
» Strategic Software Engineering
Sort
View
VMCAI
2009
Springer
16 years 29 days ago
Constraint-Based Invariant Inference over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...
CSMR
2009
IEEE
16 years 29 days ago
Incremental Clone Detection
Nils Göde, Rainer Koschke