Sciweavers

2026 search results - page 33 / 406
» Tools for Test Case Generation
Sort
View
108
Voted
FM
2001
Springer
101views Formal Methods» more  FM 2001»
15 years 8 months ago
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System
Laurent Arditi, Hédi Boufaïed, Arnaud ...
69
Voted
ASPDAC
2000
ACM
102views Hardware» more  ASPDAC 2000»
15 years 8 months ago
Causality based generation of directed test cases
Nina Saxena, Jacob A. Abraham, Avijit Saha
ISSTA
2010
ACM
15 years 5 months ago
Generating test cases for specification mining
Valentin Dallmeier, Nikolai Knopp, Christoph Mallo...