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