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