To run the mutation test:

• Create the mutation files using Major in the right location (described below):
  MAJOR_HOME/bin/javac -J-Dmajor.export.directory="
  SOURCE mutants" -J-Dmajor.export.mutants=true -XMutator:ALL -cp "wlp/tests" wlp/Tests/$SOURCE.java
• Edit settings.hs to specify the post-condition and test file
• Run the main function (this can be done using ghci)
• The results will be stored in wlp/Results, overwriting any existing results file that uses the same parameters (the analysis is static, so the results should be the same in this case anyway)

To run the false positive test:

• Edit settings.hs to specify the post-condition
• Run the testFalsePositives function (this can be done using ghci)
• The results will be stored in wlp/Results

Folder structure:

The folder generated by Major must be in the same folder as the wlp folder, and must be named "SOURCE mutants" (where SOURCE is the name of the test class) A path to a mutant (the 5th mutant in this example) looks like this: "SOURCE mutants/5/classPath/SOURCE.java" Because of this, to analyse a new test class the classPath function in Settings.hs has to be extended with the corresponding class path

Dependency

• language-java Haskell package