69 search results - page 8 / 14 » On the testability of SDL specifications |
PAMI
1998
13 years 7 months ago
1998
—This paper concerns an efficient algorithm for learning in the limit a special type of regular languages called strictly locally testable languages from positive data, and its a...
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Service-Oriented Architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-ex...
EURODAC
1994
IEEE
13 years 11 months ago
1994
IEEE
The paper presents a synthesis approach for pipelinelike controller structures. These structures allow to implement a built-in self-test in two sessions without any extra test reg...
FORTE
1990
13 years 8 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...