809 search results - page 52 / 162 » Requirements by Contracts allow Automated System Testing |
128
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
144
Voted
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
134
click to vote
PTS
2007
15 years 6 months ago
2007
: The success and the acceptance of intrusion detection systems essentially depend on the accuracy of their analysis. Inaccurate signatures strongly trigger false alarms. In practi...
122
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between...
136
click to vote
ISPASS
2010
IEEE
15 years 11 months ago
2010
IEEE
—The ongoing move to chip multiprocessors (CMPs) permits greater sharing of last-level cache by processor cores but this sharing aggravates the cache contention problem, potentia...