Search Sciweavers | Sciweavers

4299 search results - page 108 / 860

» Concurrent Test Generation

147

click to vote

CP
2005
Springer

95views Artificial Intelligence» more CP 2005»

Test Instance Generation for MAX 2SAT

16 years 7 days ago

Download fjcp2005.free.fr

Mistuo Motoki

claim paper

Read More »

145

click to vote

GECCO
2005
Springer

100views Optimization» more GECCO 2005»

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

16 years 7 days ago

Download www.cs.bham.ac.uk

Concettina Del Grosso, Giuliano Antoniol, Massimil...

claim paper

Read More »

106

click to vote

DAC
2004
ACM

101views Computer Architecture» more DAC 2004»

Industrial experience with test generation languages for processor verification

16 years 4 days ago

Download www.cs.bris.ac.uk

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

claim paper

Read More »

136

click to vote

FATES
2004
Springer

79views Software Engineering» more FATES 2004»

Symbolic Test Case Generation for Primitive Recursive Functions

16 years 3 days ago

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

135

click to vote

FMCO
2004
Springer

97views Formal Methods» more FMCO 2004»

A Theory of Predicate-Complete Test Coverage and Generation

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers