Search Sciweavers | Sciweavers

3090 search results - page 86 / 618

» On Testing Answer-Set Programs

click to vote

DAC
1999
ACM

149views Computer Architecture» more DAC 1999»

Micro Architecture Coverage Directed Generation of Test Programs

16 years 25 days 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

16 years 20 days 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

16 years 18 days ago

Download www-valoria.univ-ubs.fr

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

claim paper

Read More »

click to vote

VMCAI
2009
Springer

92views Software Engineering» more VMCAI 2009»

Query-Driven Program Testing

15 years 6 months ago

Download www.forsyte.cs.tu-darmstadt.de

Andreas Holzer, Christian Schallhart, Michael Taut...

claim paper

Read More »

click to vote

CAV
2007
Springer

85views Hardware» more CAV 2007»

jMoped: A Test Environment for Java Programs

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers