Tools

 

All our open source code is in GitHub https://github.com/prowessproject

James
a JUnit Model Extractor
JavaErlang
a library for calling Java code from Erlang
jsongen
JSON instances generation and validation from JSON Schema and other JSON data descriptions
Megaload
a scalable load testing tool
more-bugs
Find several counterexamples to an eqc_statem specification
Quickcheck
a tool for property-based testing
Quickcheck CI
a continuous integration server that runs QuviQ QuickCheck on a project
Smother
a MC/DC style code coverage tool for Erlang
Mu2
a mutation testing tool for Erlang programs
pulse-time
a user-level scheduler built on top of PULSE for executing Erlang programs. Part of the functionality of pulse-time has now been included in the commercial QuickCheck tool
Ranker
a tool for comparing implementations of the same specification
readspec
ReadSpec application: making PBT easier to read for humans
Synapse
Interface and API to various state machine inference tools
webdrv
WebDriver implementation in Erlang
webui-test
a QuickCheck-based web-based GUI testing framework
Wrangler
a tool for refactoring and “code smell” inspection of Erlang programs
WSDL-DSL
a DSL for automatic test data generation
WSToolkit
a toolkit for property-based testing of web services and for test code evolution