572 search results - page 11 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
RSP
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
AAAI
1994
13 years 8 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
JCIT
2008
13 years 7 months ago
2008
In this paper we propose methods to utilize Artificial Neural Networks to obtain knowledge for the management of educational resources. The final evaluations provide us a model th...
ACSD
2003
IEEE
13 years 11 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...