488 search results - page 5 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
DATE
2004
IEEE
14 years 8 days ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
ASE
2008
13 years 8 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
ACSD
2003
IEEE
14 years 6 days 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...
IEAAIE
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
FORTE
2000
13 years 10 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...