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