Search Sciweavers | Sciweavers

4299 search results - page 108 / 860

» Concurrent Test Generation

111

click to vote

CP
2005
Springer

95views Artificial Intelligence» more CP 2005»

Test Instance Generation for MAX 2SAT

15 years 10 months ago

Download fjcp2005.free.fr

Mistuo Motoki

claim paper

Read More »

117

click to vote

GECCO
2005
Springer

100views Optimization» more GECCO 2005»

Improving network applications security: a new heuristic to generate stress testing data

15 years 10 months ago

Download www.cs.bham.ac.uk

Concettina Del Grosso, Giuliano Antoniol, Massimil...

claim paper

Read More »

click to vote

DAC
2004
ACM

101views Computer Architecture» more DAC 2004»

Industrial experience with test generation languages for processor verification

15 years 10 months ago

Download www.cs.bris.ac.uk

Michael L. Behm, John M. Ludden, Yossi Lichtenstei...

claim paper

Read More »

116

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 »

112

click to vote

FMCO
2004
Springer

97views Formal Methods» more FMCO 2004»

A Theory of Predicate-Complete Test Coverage and Generation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers