7766 search results - page 267 / 1554 » Testing Nondeterminate Systems |
169
click to vote
IEAAIE
2009
Springer
15 years 4 months ago
2009
Springer
1 Testing is a popular way to assess one's competence in a language. The assessment can be conducted by the students for self evaluation or by the teachers in achievement test...
152
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
184
click to vote
IJON
2006
15 years 6 months ago
2006
A classifier system is a machine learning system that learns syntactically simple string rules (called classifiers) through a genetic algorithm to guide its performance in an arbi...
205
click to vote
SIES
2007
IEEE
16 years 26 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
168
click to vote
IM
1993
15 years 8 months ago
1993
A hybrid Expert System / Neural Network Traffic Advice system has been developed to aid traffic management in the Southern Californian telephone network. The system has been worki...