3424 search results - page 53 / 685 » Automated Testing of Classes |
80
Voted
DAC
1999
ACM
16 years 3 months ago
1999
ACM
185
Voted
DAC
2001
ACM
16 years 3 months ago
2001
ACM
128
Voted
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
119
click to vote
XPU
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...
105
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
We consider the Edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and gen...