Search Sciweavers | Sciweavers

2026 search results - page 32 / 406

» Tools for Test Case Generation

click to vote

DAC
2006
ACM

163views Computer Architecture» more DAC 2006»

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

16 years 2 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 »

click to vote

ISSRE
2008
IEEE

96views Software Engineering» more ISSRE 2008»

RUGRAT: Runtime Test Case Generation Using Dynamic Compilers

15 years 8 months ago

Download www.cs.umd.edu

Ben Breech, Lori L. Pollock, John Cavazos

claim paper

Read More »

click to vote

FMICS
2007
Springer

111views Formal Methods» more FMICS 2007»

Automatic Interoperability Test Case Generation Based on Formal Definitions

15 years 8 months ago

Download www.irisa.fr

Alexandra Desmoulin, César Viho

claim paper

Read More »

click to vote

FATES
2004
Springer

79views Software Engineering» more FATES 2004»

Symbolic Test Case Generation for Primitive Recursive Functions

15 years 7 months ago

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

Voted

KBSE
2003
IEEE

99views Software Engineering» more KBSE 2003»

Automated Requirements-based Generation of Test Cases for Product Families

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers