588 search results - page 65 / 118 » Using UML Environment Models for Test Case Generation |
109
click to vote
ENTCS
2006
15 years 16 days ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
128
Voted
APN
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
120
click to vote
VLSID
2000
IEEE
15 years 4 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
106
Voted
EUROMICRO
2007
IEEE
15 years 2 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
102
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Real life optimization problems often require finding optimal solution to complex high dimensional, multimodal problems involving computationally very expensive fitness function e...