GitHub topics: property-based
agroce/tstl
Template Scripting Testing Language tool: automated test generation for Python
Language: Python - Size: 13.5 MB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 103 - Forks: 25
SophieBosio/contra
A friendly functional language for finding counterexamples 🎯
Language: Haskell - Size: 1000 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 7 - Forks: 0
Related Keywords
property-based
2
smt-solving
1
smt
1
quickcheck
1
pbt
1
haskell
1
counterexample
1
tstl
1
testing-tools
1
testing
1
test-reduction
1
test-generation
1
test-automation
1
swarm-testing
1
random-testing
1
python
1
property-based-testing
1
fuzzing
1
fuzzers
1
fault-localization
1
delta-debugging
1
afl-fuzz
1
afl
1