2026 search results - page 101 / 406 » Tools for Test Case Generation |
91
Voted
PVLDB
2010
14 years 11 months ago
2010
To evaluate the performance of database applications and DBMSs, we usually execute workloads of queries on generated databases of different sizes and measure the response time. Th...
105
click to vote
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
100
Voted
ACSC
2002
IEEE
15 years 5 months ago
2002
IEEE
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...
106
Voted
COMSIS
2004
15 years 14 days ago
2004
This paper presents a method and concepts of a supporting tool for rapid prototyping of large-scale business information systems. Our method is based on the following guidelines: (...
108
Voted
ITC
2003
IEEE
15 years 5 months ago
2003
IEEE
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...