“Automated Regression Testing using Symbolic Execution”, ELEKTRON ELEKTROTECH, vol. 112, no. 6, pp. 101–105, Jun. 2011, doi: 10.5755/j01.eee.112.6.457.