“Automated Regression Testing Using Symbolic Execution”. 2011. Elektronika Ir Elektrotechnika 112 (6): 101-5. https://doi.org/10.5755/j01.eee.112.6.457.