Barisas D, Milasius T, Bareisa E. Automated Regression Testing using Symbolic Execution. ELEKTRON ELEKTROTECH. 2011;112(6):101-105. doi:10.5755/j01.eee.112.6.457