“Automated Regression Testing using Symbolic Execution” (2011) Elektronika ir Elektrotechnika, 112(6), pp. 101–105. doi:10.5755/j01.eee.112.6.457.