A search-based tool to assess and improve oracles in the form of Java Assertions.
Run run.sh file from command line with the following parameters:
-
Java class name
-
Method name
-
Source code location
Folder "Examples" has a class SimpleMethods with 4 methods. Each of these methods has an assertion. You can run OASIs on this methods following these commands:
bash run.sh SimpleMethods /Examples/src/ getMin
bash run.sh SimpleMethods /Examples/src/ abs
bash run.sh SimpleMethods /Examples/src/ addElementToSet
bash run.sh SimpleMethods /Examples/src/ incrementNumberAtIndex
Gunel Jahangirova, David Clark, Mark Harman, and Paolo Tonella "Test oracle assessment and improvement", In Proceedings of the 25th International Symposium on Software Testing and Analysis (ISSTA 2016).