Sciweavers

10715 search results - page 77 / 2143
» Proofs from Tests
Sort
View
71
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
Developing Acceptance Tests from Existing Documentation Using Annotations: An Experiment
David Connolly, Frank Keenan, Fergal McCaffery
76
Voted
WABI
2009
Springer
15 years 5 months ago
Predicting Gene Structures from Multiple RT-PCR Tests
Jakub Kovác, Tomás Vinar, Brona Brej...
89
Voted
KBSE
1999
IEEE
15 years 5 months ago
Automatic Generation of Test Oracles-From Pilot Studies to Application
Martin S. Feather, Benjamin D. Smith
81
Voted
ESEC
1999
Springer
15 years 5 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
94
Voted
IPPS
1997
IEEE
15 years 5 months ago
Implementation and Results of Hypothesis Testing from the C3I Parallel Benchmark Suite
Brian Van Voorst, Luiz Pires, Rakesh Jha, Mustafa ...