498 search results - page 25 / 100 » Model Validation using Automatically Generated Requirements-... |
IDEAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Testing of database applications is of great importance. A significant issue in database application testing consists in the availability of representative data. In this paper we...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
HICSS
1997
IEEE
13 years 11 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...