Program Analysis for dynamic backward slicing

See report.pdf for more details about the proposed algorithm.

Run Tests

Using npm and Mocha:

1. npm ci

2. npm run build --if-present

3. npm test

Using the testRunner.js script:

1. cd scripts/

2. node testRunner.js --source TESTCASE

where TESTCASE is a path to a JSON file describing a list of testcases