3281 search results - page 21 / 657 » An Approach to use Executable Models for Testing |
DASFAA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...
VLDB
2007
ACM
14 years 1 months ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
CJ
2004
13 years 7 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
PADS
2004
ACM
14 years 29 days ago
2004
ACM
Computer simulation is the most common approach to studying wireless ad-hoc routing algorithms. The results, however, are only as good as the models the simulation uses. One shoul...
COMPSAC
2006
IEEE
14 years 1 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...