3031 search results - page 63 / 607 » Model Driven Testing Based on Test History |
112
Voted
PROPERTYTESTING
2010
14 years 10 months ago
2010
We survey here property testing results for the so called 'massively parametrized' model (or problems). This paper is based on a survey talk gave at the workshop on prop...
106
click to vote
FATES
2003
Springer
15 years 5 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
130
click to vote
TSE
2010
14 years 7 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
183
Voted
KES
2011
Springer
14 years 7 months ago
2011
Springer
When students study for multiple-choice cloze tests as the Test of English for International Communication (TOEIC), they tend to repeatedly tackle questions of the same type. In su...
111
click to vote
ASPDAC
2009
ACM
15 years 7 months ago
2009
ACM
Low power circuits have become a necessary part in modern designs. Retention flip-flop is one of the most important components in low power designs. Conventional test methodologie...