1241 search results - page 22 / 249 » Path-oriented random testing |
106
Voted
TIT
2011
15 years 1 months ago
2011
194
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In the paper, an evolutionary approach to test generation for functional BIST is considered. The aim of the proposed scheme is to minimize the test data volume by allowing the dev...
199
Voted
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
170
Voted
ICSE
2011
IEEE-ACM
14 years 9 months ago
2011
IEEE-ACM
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed a...
165
Voted
ENTCS
1998
15 years 6 months ago
1998
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...