To, Van Khanh and Nguyen, Thi Van Anh and Nguyen, Thi Thuy  (2018) VTSE – Verification Tool based on Symbolic Execution.  Technical Report. VNU-UET, VNU-UET.