Sciweavers

15783 search results - page 33 / 3157
» Evidence-Based Software Engineering
Sort
View
90
Voted
SIGSOFT
2010
ACM
15 years 1 days ago
FITE: future integrated testing environment
Michael W. Whalen, Patrice Godefroid, Leonardo Mar...
WCET
2010
15 years 1 days ago
Timing Anomalies Reloaded
Computing tight WCET bounds in the presence of timing anomalies
Gernot Gebhard
ICFEM
2009
Springer
14 years 12 months ago
Improving Automatic Verification of Security Protocols with XOR
Abstract. K
Xihui Chen, Ton van Deursen, Jun Pang
52
Voted
ICSOFT
2009
14 years 12 months ago
Towards a Strategic Requirements Elicitation - A Proposal of the PRINCE Model
Takako Nakatani, Shouzo Hori, Michio Tsuda, Mari I...
61
Voted
ICSOFT
2009
14 years 12 months ago
Applicability of BET to Elusive Bugs in Diverse Application Areas
M. Chaudhary, B. Chen, P. Desai, R. Hemmatti, F. L...