Search Sciweavers | Sciweavers

10715 search results - page 77 / 2143

» Proofs from Tests

131

click to vote

ICSE
2009
IEEE-ACM

84views Software Engineering» more ICSE 2009»

Developing Acceptance Tests from Existing Documentation Using Annotations: An Experiment

15 years 11 months ago

Download ast2009.com

David Connolly, Frank Keenan, Fergal McCaffery

claim paper

Read More »

133

Voted

WABI
2009
Springer

81views Bioinformatics» more WABI 2009»

Predicting Gene Structures from Multiple RT-PCR Tests

15 years 11 months ago

Download compbio.fmph.uniba.sk

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

claim paper

Read More »

145

click to vote

KBSE
1999
IEEE

107views Software Engineering» more KBSE 1999»

Automatic Generation of Test Oracles-From Pilot Studies to Application

15 years 11 months ago

Download ase.cs.uni-essen.de

Martin S. Feather, Benjamin D. Smith

claim paper

Read More »

134

Voted

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 11 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

152

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers