TY  - JOUR
AU  - Barisas, D.
AU  - Milasius, T.
AU  - Bareisa, E.
PY  - 2011/06/08
Y2  - 2025/01/02
TI  - Automated Regression Testing using Symbolic Execution
JF  - Elektronika ir Elektrotechnika
JA  - ELEKTRON ELEKTROTECH
VL  - 112
IS  - 6
SE  - 
DO  - 10.5755/j01.eee.112.6.457
UR  - https://eejournal.ktu.lt/index.php/elt/article/view/457
SP  - 101-105
AB  - The aim of this paper is to describe a way to construct tests which validate that changes made during software evolution did not introduce regression faults. Developers usually run a new version of the program against the same set of tests. In order to achieve this goal, symbolic execution was used for test input generation and full structural code coverage. Moreover, the extension of symbolic execution was developed to increase the quality of tests. As a result, regression faults were detected in the program. The concept of the technique and an example model are presented. Ill. 7, bibl. 18 (in English; abstracts in English and Lithuanian).<p><a href="http://dx.doi.org/10.5755/j01.eee.112.6.457">http://dx.doi.org/10.5755/j01.eee.112.6.457</a></p>
ER  -