DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» QuickCheck
QuickCheck
Processing an Intermediate Representation Written in Lisp
Rubicon: Bounded Verification of Web Applications
HOL-Testgen Version 1.8 USER GUIDE
Exploring Languages with Interpreters and Functional Programming Chapter 11
Beginner's Luck
Quickcheck Tutorial
Branching Processes for Quickcheck Generators (Extended Version)
Foundational Property-Based Testing
Specification Based Testing with Quickcheck
Webdriver: Controlling Your Web Browser
Experience Report: the Next 1100 Haskell Programmers
Quickcheck - Random Property-Based Testing
Hypothesis: a New Approach to Property-Based Testing
Semantic Fuzzing with Zest
Performance Evaluation of a Testing Framework Using Quickcheck and Hadoop
Testing Telecoms Software with Quviq Quickcheck
Heuristics for Generating Good Examples Using Quickcheck
Using Property-Based Testing to Generate Feedback for C Programming Exercises
Top View
CS510AP Quickcheck Overview Simple Case
Rationales and Approaches for Automated Testing of Javascript and Standard ML
Understanding Formal Specificationsthrough Good
Kathleen Fisher Question: Interesting Answer in Algol
Finding Test Data with Specific Properties Via Metaheuristic Search
Test Input Generation Using Deep Q-Learning Based Generators
Lecture Slides
Testing with Crowbar
Quickcheck, Smallcheck & Reach: Automated Testing in Haskell
Haskell Programming with Tests, and Some Alloy
Symbolic Execution for Javascript
Mutation Testing of Functional Programming Languages
Brief History of “Programming” Al-Khwarizmi, 860AD “Algorists
Type Classes
Functional Programming and Property-Based Testing
The Design and Implementation of a Discrepancy Monitoring System Managing the Problems Introduced by Code Duplication Across Languages
Quickcheck: Using Speculation to Reduce the Overhead of Checks In
Dimitar Georgiev +359 897 693 747
[email protected]
Software Engineer Dimitarg.Github.Io/ Github.Com/Dimitarg