Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
AET - a system that detects visual changes on web sites and performs basic page health checks
- aet
- regression-tests
- automation
- testing
The Password-strength Checker TDD Kata
- programming-kata
- kata
- tdd
- tdd-kata