69 search results - page 5 / 14 » On the testability of SDL specifications |
IJAC
2008
13 years 7 months ago
2008
Abstract. A regular set of words is (k-)locally testable if membership of a word in the set is determined by the nature of its subwords of some bounded length k. In this article we...
ECCC
2010
13 years 7 months ago
2010
The rich collection of successes in property testing raises a natural question: Why are so many different properties turning out to be locally testable? Are there some broad "...
ITC
1994
IEEE
13 years 11 months ago
1994
IEEE
COMSWARE
2006
IEEE
14 years 1 months ago
2006
IEEE
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
METRICS
2002
IEEE
14 years 16 days ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...