Install MuJava. The instruction of how to install and use Mujava can be seen in https://cs.gmu.edu/~offutt/mujava/ - cyytju/Software-Testing-Lab-4 ...