diff --git a/.travis.yml b/.travis.yml
index f40c5a6af..76b129443 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -170,6 +170,10 @@ matrix:
         - make clean
         - make -s USE_Z3=yes all -j2
         - python3 test/bug-hunting/cve.py
+        - wget https://github.com/Toyota-ITC-SSD/Software-Analysis-Benchmark/archive/v1.1.tar.gz
+        - tar xzvf v1.1.tar.gz
+        - mv Software-Analysis-Benchmark-1.1 itc
+        - python3 test/bug-hunting/itc.py itc/01.w_Defects/zero_division.c
 
 # check if dmake needs to be rerun (this job may fail)
     - name: "rerun dmake?"