Name
Abstract | ||
|---|---|---|
A decomposition of unit test generation task for symbolic execution has been considered. The process has been divided into the subtasks: code parsing, paths generation, path analysis, constraints analysis and test generation. The code parsing and path generation time have been investigated. The dependency between time and input size is close to be linear on code parsing and test path generation. It has been shown that path generation takes almost three times larger time than code parsing. The results will be used for load-balancing of unit test generators based on symbolic execution. |
Year | DOI | Venue |
|---|---|---|
2021 | 10.1109/CSIT52700.2021.9648799 | 2021 IEEE 16th International Conference on Computer Sciences and Information Technologies (CSIT) |
Keywords | DocType | Volume |
parallel computing,test generation,symbolic execution,execution time estimation | Conference | 1 |
ISSN | ISBN | Citations |
2766-3655 | 978-1-6654-4258-9 | 0 |
PageRank | References | Authors |
0.34 | 7 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Roman Bazylevych | 1 | 0 | 0.68 |
| Pawel Czarnul | 2 | 121 | 21.11 |
| Andrii Franko | 3 | 3 | 1.20 |