Sciweavers

10715 search results - page 76 / 2143

» From Tests to Proofs

17

SIGSOFT
2001
ACM

125views Software Engineering» more SIGSOFT 2001»

STG: a tool for generating symbolic test programs and oracles from operational specifications

14 years 10 months ago

STG: a tool for generating symbolic test programs and oracles from operational specifications

Download www-valoria.univ-ubs.fr

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

claim paper

Read More »

22

STOC
2010
ACM

257views Algorithms» more STOC 2010»

Local List-Decoding and Testing of Random Linear Codes from High-Error

14 years 6 months ago

Local List-Decoding and Testing of Random Linear Codes from High-Error

Download eccc.hpi-web.de

Swastik Kopparty and Shubhangi Saraf

claim paper

Read More »

21

CORES
2005
Springer

116views Biometrics» more CORES 2005»

Learning from a Test Set

14 years 2 months ago

Learning from a Test Set

Download homepage.tudelft.nl

Piotr Juszczak, Robert P. W. Duin

claim paper

Read More »

25

ICFEM
2004
Springer

152views Software Engineering» more ICFEM 2004»

Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions

14 years 2 months ago

Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions

Download people.engr.ncsu.edu

Tao Xie, David Notkin

claim paper

Read More »

20

STOC
2010
ACM

174views Algorithms» more STOC 2010»

Local list-decoding and testing of random linear codes from high error

14 years 2 months ago

Local list-decoding and testing of random linear codes from high error

Download web.mit.edu

Swastik Kopparty, Shubhangi Saraf

claim paper

Read More »

« Prev « First page 76 / 2143 Last » Next »