498 search results - page 21 / 100 » Model Validation using Automatically Generated Requirements-... |
107
click to vote
ET
1998
15 years 1 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
149
click to vote
ICST
2009
IEEE
15 years 12 hour ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
143
click to vote
MTV
2006
IEEE
15 years 8 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
117
click to vote
WSCG
2003
15 years 3 months ago
2003
Modelling Large Urban Environments using traditional modelling techniques would prove too time consuming a process. Consequently a method is required for generating large urban en...
130
click to vote
WAIM
2010
Springer
15 years 19 days ago
2010
Springer
In this paper we propose a generic model to generate basic multi-partite graphs obtained by associations found in arbitrary data. The interest of such a model is to be the formal ...