Barisas, D.; Milasius, T.; Bareisa, E. Automated Regression Testing Using Symbolic Execution. ELEKTRON ELEKTROTECH 2011, 112, 101-105.