Sciweavers

2026 search results - page 31 / 406
» Tools for Test Case Generation
Sort
View
ICSEA
2007
IEEE
15 years 6 months ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa
90
Voted
ICTAI
1994
IEEE
15 years 4 months ago
GATTO: An Intelligent Tool for Automatic Test Pattern Generation for Digital Circuits
Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza ...
VLDB
2007
ACM
128views Database» more  VLDB 2007»
15 years 6 months ago
A genetic approach for random testing of database systems
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...
Hardik Bati, Leo Giakoumakis, Steve Herbert, Aleks...