Sciweavers

2774 search results - page 6 / 555

» Query-Driven Program Testing

230

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Compositional dynamic test generation

16 years 3 months ago

Compositional dynamic test generation

Download research.microsoft.com

Patrice Godefroid

claim paper

Read More »

85

Voted

ICFP
2000
ACM

105views Programming Languages» more ICFP 2000»

QuickCheck: a lightweight tool for random testing of Haskell programs

15 years 8 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 »

102

ECOOP
2003
Springer

98views Programming Languages» more ECOOP 2003»

Java Subtype Tests in Real-Time

15 years 8 months ago

Java Subtype Tests in Real-Time

Download www.cs.purdue.edu

Krzysztof Palacz, Jan Vitek

claim paper

Read More »

79

Voted

SIGADA
1993
Springer

76views Programming Languages» more SIGADA 1993»

Towards Target-Level Testing and Debugging Tools for Embedded Software

15 years 7 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 »

105

Voted

ERLANG
2008
ACM

114views Programming Languages» more ERLANG 2008»

Erlang testing and tools survey

15 years 5 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 »