Chaitanya Koparkar
- Hughes, J. How to specify it!. In Bowman, W., Garcia, R. (eds.) Trends in Functional Programming. TFP 2019. Lecture Notes in Computer Science, vol 12053. Springer, Cham. Google Scholar
Digital Library
- Claessen, K. and Hughes, J. QuickCheck: A lightweight tool for random testing of Haskell programs. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00). ACM, New York, 2000, 268--279. Google ScholarDigital Library
Index Terms
- A Primer on Property-Based Testing
Recommendations
Invariance in property testing
Property testingProperty testing considers the task of testing rapidly (in particular, with very few samples into the data), if some massive data satisfies some given property, or is far from satisfying the property. For "global properties", i.e., properties that ...
Invariance in property testing
Property testingProperty testing considers the task of testing rapidly (in particular, with very few samples into the data), if some massive data satisfies some given property, or is far from satisfying the property. For "global properties", i.e., properties that ...
An Improved Natural PCR-RFLP Primer Design Method
BIBE '11: Proceedings of the 2011 IEEE 11th International Conference on Bioinformatics and BioengineeringThe polymerase chain reaction restriction fragment length polymorphism (PCR-RFLP) technique is often used in laboratories and many basic research studies of complex genetic diseases associated with single nucleotide polymorphisms (SNP). When performing ...
Comments