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