Sciweavers

16968 search results - page 99 / 3394
» Software Engineering in the Small
Sort
View
VMCAI
2009
Springer
16 years 4 days ago
Constraint-Based Invariant Inference over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...
CSMR
2009
IEEE
16 years 3 days ago
Incremental Clone Detection
Nils Göde, Rainer Koschke
126
Voted
SCAM
2009
IEEE
16 years 3 days ago
Improving Side-Effect Analysis with Lazy Access Path Resolving
Ju Qian, Yuming Zhou, Baowen Xu