Search Sciweavers | Sciweavers

10715 search results - page 77 / 2143

» From Tests to Proofs

click to vote

ICSE
2009
IEEE-ACM

84views Software Engineering» more ICSE 2009»

Developing Acceptance Tests from Existing Documentation Using Annotations: An Experiment

14 years 1 months ago

Download ast2009.com

David Connolly, Frank Keenan, Fergal McCaffery

claim paper

Read More »

click to vote

WABI
2009
Springer

81views Bioinformatics» more WABI 2009»

Predicting Gene Structures from Multiple RT-PCR Tests

14 years 1 months ago

Download compbio.fmph.uniba.sk

Jakub Kovác, Tomás Vinar, Brona Brej...

claim paper

Read More »

click to vote

KBSE
1999
IEEE

107views Software Engineering» more KBSE 1999»

Automatic Generation of Test Oracles-From Pilot Studies to Application

14 years 1 months ago

Download ase.cs.uni-essen.de

Martin S. Feather, Benjamin D. Smith

claim paper

Read More »

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

14 years 1 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

click to vote

IPPS
1997
IEEE

94views Distributed And Parallel Com...» more IPPS 1997»

Implementation and Results of Hypothesis Testing from the C3I Parallel Benchmark Suite

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers