Sciweavers

2774 search results - page 6 / 555

» Query-Driven Program Testing

155

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Compositional dynamic test generation

15 years 10 months ago

Compositional dynamic test generation

Download research.microsoft.com

Patrice Godefroid

claim paper

Read More »

53

ICFP
2000
ACM

105views Programming Languages» more ICFP 2000»

QuickCheck: a lightweight tool for random testing of Haskell programs

15 years 2 months ago

QuickCheck: a lightweight tool for random testing of Haskell programs

Download www.church-project.org

Koen Claessen, John Hughes

claim paper

Read More »

58

ECOOP
2003
Springer

98views Programming Languages» more ECOOP 2003»

Java Subtype Tests in Real-Time

15 years 3 months ago

Java Subtype Tests in Real-Time

Download www.cs.purdue.edu

Krzysztof Palacz, Jan Vitek

claim paper

Read More »

51

SIGADA
1993
Springer

76views Programming Languages» more SIGADA 1993»

Towards Target-Level Testing and Debugging Tools for Embedded Software

15 years 1 months ago

Towards Target-Level Testing and Debugging Tools for Embedded Software

Download sunset.usc.edu

Harry Koehnemann, Timothy E. Lindquist

claim paper

Read More »

59

ERLANG
2008
ACM

114views Programming Languages» more ERLANG 2008»

Erlang testing and tools survey

14 years 11 months ago

Erlang testing and tools survey

Download www.erlang-solutions.com

Tamás Nagy, Anikó Nagyné V&ia...

claim paper

Read More »

« Prev « First page 6 / 555 Last » Next »