Automated Regression Testing using Symbolic Execution. ELEKTRON ELEKTROTECH [Internet]. 2011 Jun. 8 [cited 2025 Dec. 5];112(6):101-5. Available from: https://eejournal.ktu.lt/index.php/elt/article/view/457