Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
JVM runtime execution analysis - finds hot code paths by frequency, not CPU time
- asm
- bytecode
- code-coverage
- java
Teaches students Robot programming in python by having them create code that passes the unit tests
- robotpy
- python
- frc-robot
A library for run-time system code line-level coverage analysis.
- coverage
- elixir-library
- intergration-test
- code-line-level-coverage