A model-based tester Mirrors [ AIST | JKU ] Overview Modbat is a model-based testing tool that is based on annotated (extended) finite-state machines. Modbat is specialized to testing the application programming interface (API) of software. The model used by Modbat is compatible with Java bytecode. The user defines and compiles a model, which is then explored by Modbat and executed against the sys