Search Sciweavers | Sciweavers

10715 search results - page 77 / 2143

» Proofs from Tests

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 8 months ago

Download ast2009.com

David Connolly, Frank Keenan, Fergal McCaffery

claim paper

Read More »

Voted

WABI
2009
Springer

81views Bioinformatics» more WABI 2009»

Predicting Gene Structures from Multiple RT-PCR Tests

15 years 8 months ago

Download compbio.fmph.uniba.sk

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

claim paper

Read More »

112

Voted

KBSE
1999
IEEE

107views Software Engineering» more KBSE 1999»

Automatic Generation of Test Oracles-From Pilot Studies to Application

15 years 7 months ago

Download ase.cs.uni-essen.de

Martin S. Feather, Benjamin D. Smith

claim paper

Read More »

105

Voted

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 7 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

113

Voted

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 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers