Barisas, D.; Milasius, T.; Bareisa, E. Automated Regression Testing Using Symbolic Execution. ELEKTRON ELEKTROTECH 2011, 112 (6), 101-105. https://doi.org/10.5755/j01.eee.112.6.457.