Sciweavers

15885 search results - page 600 / 3177
» Strategic Software Engineering
Sort
View
ISSTA
2006
ACM
16 years 1 months ago
Testing, abstraction, theorem proving: better together!
Greta Yorsh, Thomas Ball, Mooly Sagiv
125
Voted
UIST
2006
ACM
16 years 1 months ago
Mnemonic rendering: an image-based approach for exposing hidden changes in dynamic displays
Anastasia Bezerianos, Pierre Dragicevic, Ravin Bal...