Search Sciweavers | Sciweavers

759 search results - page 12 / 152

» Test case generator for GUITAR

click to vote

ICSEA
2007
IEEE

110views Software Engineering» more ICSEA 2007»

Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers

14 years 4 months ago

Download www.ist.tugraz.at

Abstract—Nondeterminism is used as a means of underspeciﬁcation or implementation choice in speciﬁcations, and it is often necessary if part of a system or the environment is...

Gordon Fraser, Franz Wotawa

claim paper

Read More »

click to vote

ISSRE
2008
IEEE

96views Software Engineering» more ISSRE 2008»

RUGRAT: Runtime Test Case Generation Using Dynamic Compilers

14 years 4 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

14 years 4 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

14 years 3 months ago

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

click to vote

KBSE
2003
IEEE

99views Software Engineering» more KBSE 2003»

Automated Requirements-based Generation of Test Cases for Product Families

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers