Sciweavers

15783 search results - page 69 / 3157
» Evidence-Based Software Engineering
Sort
View
WOSP
2004
ACM
15 years 11 months ago
A framework for QoS-aware software components
Daniel A. Menascé, Honglei Ruan, Hassan Gom...
VMCAI
2004
Springer
15 years 11 months ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi