“Automated Regression Testing Using Symbolic Execution”. Elektronika Ir Elektrotechnika, vol. 112, no. 6, June 2011, pp. 101-5, https://doi.org/10.5755/j01.eee.112.6.457.