Barisas D, Milasius T, Bareisa E. Automated Regression Testing using Symbolic Execution. ELEKTRON ELEKTROTECH [Internet]. 2011 Jun. 8 [cited 2026 Jan. 22];112(6):101-5. Available from: https://eejournal.ktu.lt/index.php/elt/article/view/457