Barisas, D., Milasius, T. and Bareisa, E. (2011) “Automated Regression Testing using Symbolic Execution”, Elektronika ir Elektrotechnika, 112(6), pp. 101-105. doi: 10.5755/j01.eee.112.6.457.