Sciweavers

15783 search results - page 33 / 3157
» Evidence-Based Software Engineering
Sort
View
SIGSOFT
2010
ACM
14 years 11 months ago
FITE: future integrated testing environment
Michael W. Whalen, Patrice Godefroid, Leonardo Mar...
WCET
2010
14 years 11 months ago
Timing Anomalies Reloaded
Computing tight WCET bounds in the presence of timing anomalies
Gernot Gebhard
ICFEM
2009
Springer
14 years 11 months ago
Improving Automatic Verification of Security Protocols with XOR
Abstract. K
Xihui Chen, Ton van Deursen, Jun Pang
ICSOFT
2009
14 years 11 months ago
Applicability of BET to Elusive Bugs in Diverse Application Areas
M. Chaudhary, B. Chen, P. Desai, R. Hemmatti, F. L...