Search Sciweavers | Sciweavers

3090 search results - page 61 / 618

» On Testing Answer-Set Programs

106

click to vote

ECOOP
2003
Springer

98views Programming Languages» more ECOOP 2003»

Java Subtype Tests in Real-Time

15 years 9 months ago

Download www.cs.purdue.edu

Krzysztof Palacz, Jan Vitek

claim paper

Read More »

click to vote

SIGADA
1993
Springer

76views Programming Languages» more SIGADA 1993»

Towards Target-Level Testing and Debugging Tools for Embedded Software

15 years 8 months ago

Download sunset.usc.edu

Harry Koehnemann, Timothy E. Lindquist

claim paper

Read More »

112

click to vote

ERLANG
2008
ACM

114views Programming Languages» more ERLANG 2008»

Erlang testing and tools survey

15 years 6 months ago

Download www.erlang-solutions.com

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

claim paper

Read More »

124

click to vote

HASKELL
2008
ACM

133views Programming Languages» more HASKELL 2008»

Smallcheck and lazy smallcheck: automatic exhaustive testing for small values

15 years 5 months ago

Download www.cs.york.ac.uk

Colin Runciman, Matthew Naylor, Fredrik Lindblad

claim paper

Read More »

127

click to vote

ICALP
2010
Springer

144views Programming Languages» more ICALP 2010»

Data Stream Algorithms for Codeword Testing

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers