572 search results - page 39 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
106
click to vote
CEC
2003
IEEE
15 years 7 months ago
2003
IEEE
Neural networks and the Kriging method are compared for constructing £tness approximation models in evolutionary optimization algorithms. The two models are applied in an identica...
110
click to vote
LWA
2004
15 years 3 months ago
2004
This paper reports first results of an empirical study of the precision of classification rules on an independent test set. We generated a large number of rules using a general co...
120
click to vote
AMOST
2007
ACM
15 years 5 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
152
click to vote
TACAS
2012
Springer
13 years 9 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
120
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are a popular approach for modeling multi-agent systems acting in uncertain domains. Given the signi...