Sciweavers

15777 search results - page 61 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
64
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
The marketplace of user interface real estate
Luigi Troiano, Gerardo Canfora
79
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
Invariant-based automatic testing of AJAX user interfaces
Ali Mesbah, Arie van Deursen
ICSE
2009
IEEE-ACM
15 years 9 months ago
Detecting inefficient API usage
David Kawrykow, Martin P. Robillard
VMCAI
2009
Springer
15 years 9 months ago
Constraint-Based Invariant Inference over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...