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 September 23, 2023. https://eejournal.ktu.lt/index.php/elt/article/view/457.