Sciweavers

16968 search results - page 99 / 3394
» Software Engineering in the Small
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