D. Barisas, T. Milasius, and E. Bareisa, “Automated Regression Testing using Symbolic Execution”, ELEKTRON ELEKTROTECH, vol. 112, no. 6, pp. 101-105, Jun. 2011.