Bug Localisation And Repair of Simulink models
*** Requirements ***
Matlab2017a
BREACH1.5.2
python3
libraries: networkx, matplotlib, py-xml, graphviz
(The author uses Ubuntu16.04 OS)
**** STEPS ****
- Download breach and run script InstallBreach.m and InitBreach.m.
- run the script main_script.m in src folder
- In the command prompt, select the model number and specification number.
This repo contains two folders:
src/ contains the source code of BLARS.
examples/ contains the Simulink models used for experiments.
repaired_models/ directory will contain the recently repaired models.
utils/ folder contains some auxiliary scripts.
Authors : Nikhil Kumar Singh [email protected]
Indranil Saha [email protected]