Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Sahar Badihi"'
Publikováno v:
MSR
Equivalence checking techniques help establish whether two versions of a program exhibit the same behavior. The majority of popular techniques for formally proving/refuting equivalence are evaluated on small and simplistic benchmarks, omitting "diffi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c872ba410dc4cb16a8e8507e50a190df
https://doi.org/10.1109/msr52588.2021.00084
https://doi.org/10.1109/msr52588.2021.00084
Publikováno v:
ASE
This paper investigates the problem of classifying Android applications into malicious and benign. We analyze the performance of a popular malware detection tool, Drebin, and show that its correct classification decisions often stem from using benign
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d93c0bdc2e26fca9cd7f2b2dd8506d00
https://doi.org/10.1145/3324884.3418926
https://doi.org/10.1145/3324884.3418926
ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code
Publikováno v:
ESEC/SIGSOFT FSE
Equivalence checking techniques help establish whether two versions of a program exhibit the same behavior. The majority of popular techniques for formally proving/refuting equivalence relies on symbolic execution – a static analysis approach that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3ae7bd499316eeaf7b9737130aff2dbb
https://doi.org/10.1145/3368089.3409757
https://doi.org/10.1145/3368089.3409757
Autor:
Abbas Heydarnoori, Sahar Badihi
Publikováno v:
IEEE Software. 34:71-80
To perform software maintenance, developers must have a relatively good understanding of the program's source code, which is often written by other developers. Code summaries, which describe a program's entities (for example, its methods), help devel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0a7ad597c0e2a8666edf20d7dae26147
https://doi.org/10.1109/ms.2017.45
https://doi.org/10.1109/ms.2017.45