Barisas, D., T. Milasius, and E. Bareisa. 2011. “Automated Regression Testing Using Symbolic Execution”. Elektronika Ir Elektrotechnika 112 (6):101-5. https://doi.org/10.5755/j01.eee.112.6.457.