INSTRUCTIONS FOR AUTHORS
Barisas, D., Kaunas University of Technology, Lithuania
-
Elektronika ir Elektrotechnika Vol. 112 No. 6 (2011) - SYSTEM ENGINEERING, COMPUTER TECHNOLOGY
Automated Regression Testing using Symbolic Execution
Abstract PDF