Skip to content

Instantly share code, notes, and snippets.

@MJafarMashhadi

MJafarMashhadi/challenge.md

Created April 19, 2019 04:15
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save MJafarMashhadi/d95bf1a673a9a7036cf57e9b6d374197 to your computer and use it in GitHub Desktop.
Save MJafarMashhadi/d95bf1a673a9a7036cf57e9b6d374197 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
challenge.md

  1. Run the unit tests of Apache commons math.

  2. Use JInstrumenter to generate an execution log of the program. Make changes to the instrumenter and/or it's configurations as neccessary.

  3. Feed the execution traces MINT to infer a model representing the behavior of commons math library. You will need to preprocess the execution traces to make them in the format that MINT can read. Make changes to the tool's configuration as neccessary.

Write a short report about the challenges you faced in the process and how you tried to overcome them, whether you managed to fix them or not.

Good luck!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment