Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ICFP
2000
ACM

favoriteEmaildiscussreport

105views Programming Languages» more ICFP 2000»

QuickCheck: a lightweight tool for random testing of Haskell programs

13 years 9 months ago

QuickCheck: a lightweight tool for random testing of Haskell programs

Download www.church-project.org

Koen Claessen, John Hughes

Real-time Traffic

ICFP 2000 | Programming Languages |

claim paper

Related Content

» Testing Erlang Refactorings with QuickCheck

» Boosting the Permissiveness of Dynamic InformationFlow Tracking by Testing

» Testing Erlang data types with quviq quickcheck

» Improved Testing through Refactoring Experience from the ProTest Project

» ContractDriven Testing of JavaScript Code

Post Info
More Details (n/a)

Added	01 Aug 2010
Updated	01 Aug 2010
Type	Conference
Year	2000
Where	ICFP
Authors	Koen Claessen, John Hughes

Comments (0)