Open AccessAutomated Regression Testing using Symbolic Execution
Author(s) -
Dominykas Barisas,
T. Milasius,
Eduardas Bareiša
Publication year - 2011
Publication title -
elektronika ir elektrotechnika
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.224
H-Index - 26
eISSN - 2029-5731
pISSN - 1392-1215
DOI - 10.5755/j01.eee.112.6.457
Subject(s) - regression testing , symbolic execution , computer science , construct (python library) , concolic testing , programming language , symbolic regression , set (abstract data type) , extension (predicate logic) , lithuanian , regression analysis , code (set theory) , symbolic data analysis , regression , data mining , software , theoretical computer science , artificial intelligence , machine learning , statistics , software development , software construction , mathematics , linguistics , philosophy , genetic programming
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom