|
|
|
None. More Events |
Subscribe to our newsletter mailing list!Sign up to receive the latest news and events about the ProTest project. |
Members loginClick here |
Tools
- McErlang- a model checker for Erlang
- QuickCheck - property based testing tool
- Wrangler - an Erlang refactorer
- Exago - a tool to check program event logs against a model expressed in a state machine
- Erlang cover plugin for Eclipse (with built-in EUnit support)
- Erlang tracing plugin for Eclipse
- Statechum - a framework that implements a number of regular grammar inference algorithms


