Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Ivan Postolski"'
Autor:
Stella M. Sanchez, Aki Tsuchiyagaito, Rayus Kuplicki, Heekyeong Park, Ivan Postolski, Michael Rohan, Martin P. Paulus, Salvador M. Guinjoan
Publikováno v:
Biological Psychiatry.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5d01ed299f76b8b6d3d608f93393249
https://doi.org/10.1016/j.biopsych.2023.03.012
https://doi.org/10.1016/j.biopsych.2023.03.012
Publikováno v:
ICSE (NIER)
We propose an approach for rapid detection of performance regressions using a simulator built from the original program by dynamic slicing and a certificate built using static analysis that generalizes its correctness. We discuss two case-studies tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7601334ccdcccc1fb28de5a7b7066024
https://doi.org/10.1109/icse-nier.2019.00029
https://doi.org/10.1109/icse-nier.2019.00029