Sciweavers

2774 search results - page 6 / 555

» Query-Driven Program Testing

63

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Compositional dynamic test generation

14 years 8 months ago

Compositional dynamic test generation

Download research.microsoft.com

Patrice Godefroid

claim paper

Read More »

19

ICFP
2000
ACM

105views Programming Languages» more ICFP 2000»

QuickCheck: a lightweight tool for random testing of Haskell programs

13 years 12 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 »

19

ECOOP
2003
Springer

98views Programming Languages» more ECOOP 2003»

Java Subtype Tests in Real-Time

14 years 25 days ago

Java Subtype Tests in Real-Time

Download www.cs.purdue.edu

Krzysztof Palacz, Jan Vitek

claim paper

Read More »

13

SIGADA
1993
Springer

76views Programming Languages» more SIGADA 1993»

Towards Target-Level Testing and Debugging Tools for Embedded Software

13 years 11 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 »

19

ERLANG
2008
ACM

114views Programming Languages» more ERLANG 2008»

Erlang testing and tools survey

13 years 9 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 »