Search Sciweavers | Sciweavers

2026 search results - page 32 / 406

» Tools for Test Case Generation

146

click to vote

DAC
2006
ACM

163views Computer Architecture» more DAC 2006»

Scheduling-based test-case generation for verification of multimedia SoCs

16 years 7 months ago

Download www.cs.technion.ac.il

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...

claim paper

Read More »

134

click to vote

ISSRE
2008
IEEE

96views Software Engineering» more ISSRE 2008»

RUGRAT: Runtime Test Case Generation Using Dynamic Compilers

16 years 11 days ago

Download www.cs.umd.edu

Ben Breech, Lori L. Pollock, John Cavazos

claim paper

Read More »

128

click to vote

FMICS
2007
Springer

111views Formal Methods» more FMICS 2007»

Automatic Interoperability Test Case Generation Based on Formal Definitions

16 years 4 days ago

Download www.irisa.fr

Alexandra Desmoulin, César Viho

claim paper

Read More »

126

click to vote

FATES
2004
Springer

79views Software Engineering» more FATES 2004»

Symbolic Test Case Generation for Primitive Recursive Functions

15 years 11 months ago

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

115

click to vote

KBSE
2003
IEEE

99views Software Engineering» more KBSE 2003»

Automated Requirements-based Generation of Test Cases for Product Families

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers