2011. Automated Regression Testing using Symbolic Execution. Elektronika ir Elektrotechnika. 112, 6 (Jun. 2011), 101–105. DOI:https://doi.org/10.5755/j01.eee.112.6.457.