Sciweavers

759 search results - page 12 / 152
» Test case generator for GUITAR
Sort
View
ICSEA
2007
IEEE
15 years 7 months ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa
75
Voted
ISSRE
2008
IEEE
15 years 7 months ago
RUGRAT: Runtime Test Case Generation Using Dynamic Compilers
Ben Breech, Lori L. Pollock, John Cavazos
82
Voted
FMICS
2007
Springer
15 years 6 months ago
Automatic Interoperability Test Case Generation Based on Formal Definitions
Alexandra Desmoulin, César Viho
80
Voted
FATES
2004
Springer
15 years 6 months ago
Symbolic Test Case Generation for Primitive Recursive Functions
Achim D. Brucker, Burkhart Wolff
72
Voted
KBSE
2003
IEEE
15 years 6 months ago
Automated Requirements-based Generation of Test Cases for Product Families
Clémentine Nebut, Simon Pickin, Yves Le Tra...