2026 search results - page 78 / 406 » Tools for Test Case Generation |
105
click to vote
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
120
click to vote
ASWEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
96
Voted
ICCD
2004
IEEE
15 years 9 months ago
2004
IEEE
— We propose an automatic test pattern generation (ATPG) framework for combinational threshold networks. The motivation behind this work lies in the fact that many emerging nanot...
91
Voted
QSIC
2008
IEEE
15 years 7 months ago
2008
IEEE
In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...
94
Voted
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...