588 search results - page 12 / 118 » Using UML Environment Models for Test Case Generation |
113
Voted
ECMDAFA
2010
Springer
15 years 5 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
108
click to vote
JOT
2008
15 years 11 days ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
105
click to vote
FATES
2003
Springer
15 years 5 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
100
Voted
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
106
click to vote
VLSID
2007
IEEE
16 years 23 days ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...