Gambit
5.7#14 in mutation testing toolsLinuxmacOSWindows
VisitGambit vs MuJava
What both publish
| Fact | Gambit | MuJava |
|---|---|---|
| Command line | Gambit provides `mutate` to generate mutants and `summary` to summarize generated mutants. | A command line interface called muScript was released in March 2014. |
| Installation | Prebuilt binaries are available for Linux x86-64 and Mac; Windows and Linux ARM users must build from source. | The documented setup uses two JAR files and a configuration file, and requires configuring Java CLASSPATH and PATH. |
| Intended users | The maker describes Gambit as usable on any Solidity project. | The maker describes MuJava as a service to the community and says it has been used by students and researchers. |
| License | The Gambit GitHub repository identifies its license as MIT. | The project was released as open source under the Apache license in April 2015. |
| Platforms | Prebuilt binaries are available for Linux x86-64 and Mac; Windows and Linux ARM users must build from source. | The download instructions say MuJava can run on Unix, Linux, and Windows, and provide Mac setup instructions. |
| Purpose | Gambit is an open source Solidity mutation testing tool that evaluates and strengthens a testing suite. | MuJava automatically generates mutants for Java programs for traditional method-level and class-level mutation testing. |
| Support | Certora's documentation says product questions can be directed to its Help Desk channel on Discord. | The maintainers offer MuJava as-is and do not guarantee question answering, fault fixing, or improvements. |
Gambit plans
No prices published.
MuJava plans
- µJavaFree
Pick Gambit if…
Gambit suits developers working on Solidity projects who want to evaluate tests or formal specifications by checking which generated mutations they catch. It can be used with Solidity testing and verification tools generally, as well as the Certora Prover.
Pick MuJava if…
MuJava suits students and researchers working on Java class or package testing with JUnit. It may also fit users comfortable with manual setup and reviewing equivalent mutants.