Barisas, D., T. Milasius, and E. Bareisa. “Automated Regression Testing Using Symbolic Execution”. Elektronika ir Elektrotechnika 112, no. 6 (June 8, 2011): 101–105. Accessed January 22, 2026. https://eejournal.ktu.lt/index.php/elt/article/view/457.