Sciweavers

2026 search results - page 32 / 406
» Tools for Test Case Generation
Sort
View
85
Voted
DAC
2006
ACM
16 years 1 months ago
Scheduling-based test-case generation for verification of multimedia SoCs
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ron...
ISSRE
2008
IEEE
15 years 6 months ago
RUGRAT: Runtime Test Case Generation Using Dynamic Compilers
Ben Breech, Lori L. Pollock, John Cavazos
79
Voted
FMICS
2007
Springer
15 years 6 months ago
Automatic Interoperability Test Case Generation Based on Formal Definitions
Alexandra Desmoulin, César Viho
77
Voted
FATES
2004
Springer
15 years 5 months ago
Symbolic Test Case Generation for Primitive Recursive Functions
Achim D. Brucker, Burkhart Wolff
71
Voted
KBSE
2003
IEEE
15 years 5 months ago
Automated Requirements-based Generation of Test Cases for Product Families
Clémentine Nebut, Simon Pickin, Yves Le Tra...