Sciweavers

5855 search results - page 102 / 1171

» Test generation and minimization with

76

ISSRE
2008
IEEE

96views Software Engineering» more ISSRE 2008»

RUGRAT: Runtime Test Case Generation Using Dynamic Compilers

15 years 7 months ago

RUGRAT: Runtime Test Case Generation Using Dynamic Compilers

Download www.cs.umd.edu

Ben Breech, Lori L. Pollock, John Cavazos

claim paper

Read More »

77

KBSE
2008
IEEE

89views Software Engineering» more KBSE 2008»

Heuristics for Scalable Dynamic Test Generation

15 years 7 months ago

Heuristics for Scalable Dynamic Test Generation

Download www.eecs.berkeley.edu

Jacob Burnim, Koushik Sen

claim paper

Read More »

85

FMICS
2007
Springer

111views Formal Methods» more FMICS 2007»

Automatic Interoperability Test Case Generation Based on Formal Definitions

15 years 7 months ago

Automatic Interoperability Test Case Generation Based on Formal Definitions

Download www.irisa.fr

Alexandra Desmoulin, César Viho

claim paper

Read More »

76

TAP
2007
Springer

64views Hardware» more TAP 2007»

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

15 years 7 months ago

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

Download se.ethz.ch

Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller

claim paper

Read More »

101

DEPCOS
2006
IEEE

93views Hardware» more DEPCOS 2006»

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

15 years 7 months ago

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

Download home.mit.bme.hu

Zoltán Micskei, István Majzik

claim paper

Read More »

« Prev « First page 102 / 1171 Last » Next »