Barisas, D., T. Milasius, and E. Bareisa. “Automated Regression Testing Using Symbolic Execution”. Elektronika Ir Elektrotechnika, vol. 112, no. 6, June 2011, pp. 101-5, doi:10.5755/j01.eee.112.6.457.