Branching processes for QuickCheck generators
- 17 September 2018
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 53 (7), 1-13
- https://doi.org/10.1145/3299711.3242747
Abstract
No abstract availableKeywords
Funding Information
- Swedish Foundation for Strategic Research (RIT17-0023)
- Vetenskaprådet
This publication has 22 references indexed in Scilit:
- Find more bugs with QuickCheck!Published by Association for Computing Machinery (ACM) ,2016
- Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization ServicePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2016
- FeatPublished by Association for Computing Machinery (ACM) ,2012
- Applicative programming with effectsJournal of Functional Programming, 2007
- Software penetration testingIEEE Security & Privacy, 2005
- Adaptive Random TestingLecture Notes in Computer Science, 2004
- Template meta-programming for HaskellACM SIGPLAN Notices, 2002
- Boltzmann Samplers for the Random Generation of Combinatorial StructuresCombinatorics, Probability and Computing, 1999
- Proportional sampling strategy: guidelines for software testing practitionersInformation and Software Technology, 1996
- On the Probability of the Extinction of Families.The Journal of the Anthropological Institute of Great Britain and Ireland, 1875