Search Sciweavers | Sciweavers

2774 search results - page 32 / 555

» Query-Driven Program Testing

click to vote

DAC
1999
ACM

149views Computer Architecture» more DAC 1999»

Micro Architecture Coverage Directed Generation of Test Programs

14 years 8 months ago

Download www.research.ibm.com

Shmuel Ur, Yaov Yadin

claim paper

Read More »

click to vote

ICSE
2008
IEEE-ACM

116views Software Engineering» more ICSE 2008»

The effect of program and model structure on mc/dc test adequacy coverage

14 years 8 months ago

Download se.ethz.ch

Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...

claim paper

Read More »

click to vote

SIGSOFT
2001
ACM

125views Software Engineering» more SIGSOFT 2001»

STG: a tool for generating symbolic test programs and oracles from operational specifications

14 years 8 months ago

Download www-valoria.univ-ubs.fr

Duncan Clarke, Elena Zinovieva, Thierry Jér...

claim paper

Read More »

click to vote

CAV
2007
Springer

85views Hardware» more CAV 2007»

jMoped: A Test Environment for Java Programs

14 years 1 months ago

Download www-ti.informatik.uni-tuebingen.de

Dejvuth Suwimonteerabuth, Felix Berger, Stefan Sch...

claim paper

Read More »

click to vote

XPU
2007
Springer

80views Software Engineering» more XPU 2007»

EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming Errors

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers