Search Sciweavers | Sciweavers

759 search results - page 12 / 152

» Test case generator for GUITAR

150

click to vote

ICSEA
2007
IEEE

110views Software Engineering» more ICSEA 2007»

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

15 years 11 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 »

116

click to vote

ISSRE
2008
IEEE

96views Software Engineering» more ISSRE 2008»

RUGRAT: Runtime Test Case Generation Using Dynamic Compilers

15 years 11 months ago

Download www.cs.umd.edu

Ben Breech, Lori L. Pollock, John Cavazos

claim paper

Read More »

113

click to vote

FMICS
2007
Springer

111views Formal Methods» more FMICS 2007»

Automatic Interoperability Test Case Generation Based on Formal Definitions

15 years 11 months ago

Download www.irisa.fr

Alexandra Desmoulin, César Viho

claim paper

Read More »

118

click to vote

FATES
2004
Springer

79views Software Engineering» more FATES 2004»

Symbolic Test Case Generation for Primitive Recursive Functions

15 years 10 months ago

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

104

click to vote

KBSE
2003
IEEE

99views Software Engineering» more KBSE 2003»

Automated Requirements-based Generation of Test Cases for Product Families

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers