SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values
Artikel i vetenskaplig tidskrift, 2008
Testing and Debugging
Applicative (Functional) Programming
Författare
Fredrik Lindblad
Chalmers, Data- och informationsteknik
Matthew Naylor
Colin Runciman
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
07308566 (ISSN)
Vol. 44 2 37-48Ämneskategorier
Datavetenskap (datalogi)