The code corresponds to the paper:

Milan Lopuhaä-Zwakenberg & Mariëlle Stoelinga:
"Attack time analysis in dynamic attack trees via integer linear programming


To run the code do the following:

# Install MATLAB (https://www.mathworks.com/products/matlab.html). A license is required.

# Install Gurobi (https://www.gurobi.com/). A license is required

# In the file minitester.m, change the Gurobi path in line 3 to the path where Gurobi is installed.

# Using Matlab, run minitester.m for a snapshot of the results in the paper (more specifically, only considering the DATs up to size 40).

# For the full experiments, run Tester.m. Be sure to also change the Gurobi path there.