-
1
المؤلفون: Ibrahim Abughararh, Josh Cordova, Sofia Devin, Lucas Bang, Sofiane Dissem, Emily Lu, Gabriel Bessler, Shaheen Cullen-Baratloo
المصدر: ICSE (Companion Volume)
مصطلحات موضوعية: Algebraic graph theory, Theoretical computer science, Computational complexity theory, Computer science, Path (graph theory), Control flow graph, Graph theory, Function (mathematics), Symbolic execution, Expression (mathematics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ec3dae2375e70b74b3a48fa7a40d7171
https://doi.org/10.1109/icse-companion52605.2021.00028