Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Xie, Danning"'
Autor:
Rego, Marilyn, Fan, Wen, Hu, Xin, Dod, Sanya, Ni, Zhaorui, Xie, Danning, DiVincenzo, Jenna, Tan, Lin
Static verification is a powerful method for enhancing software quality, but it demands significant human labor and resources. This is particularly true of static verifiers that reason about heap manipulating programs using an ownership logic. LLMs h
Externí odkaz:
http://arxiv.org/abs/2411.02318
Software specifications are essential for ensuring the reliability of software systems. Existing specification extraction approaches, however, suffer from limited generalizability and require manual efforts. The recent emergence of Large Language Mod
Externí odkaz:
http://arxiv.org/abs/2306.03324
Autor:
Xu, Xiangzhe, Zhang, Zhuo, Su, Zian, Huang, Ziyang, Feng, Shiwei, Ye, Yapeng, Jiang, Nan, Xie, Danning, Cheng, Siyuan, Tan, Lin, Zhang, Xiangyu
Decompilation aims to recover the source code form of a binary executable. It has many security applications such as malware analysis, vulnerability detection and code hardening. A prominent challenge in decompilation is to recover variable names. We
Externí odkaz:
http://arxiv.org/abs/2306.02546
Autor:
Xie, Danning, Li, Yitong, Kim, Mijung, Pham, Hung Viet, Tan, Lin, Zhang, Xiangyu, Godfrey, Michael W.
Input constraints are useful for many software development tasks. For example, input constraints of a function enable the generation of valid inputs, i.e., inputs that follow these constraints, to test the function deeper. API functions of deep learn
Externí odkaz:
http://arxiv.org/abs/2109.01002
Autor:
Xie, Danning, Li, Yitong, Kim, Mijung, Pham, Hung Viet, Tan, Lin, Zhang, Xiangyu, Godfrey, Michael W.
Publikováno v:
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis.
Input constraints are useful for many software development tasks. For example, input constraints of a function enable the generation of valid inputs, i.e., inputs that follow these constraints, to test the function deeper. API functions of deep learn
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46e6754ae2962f0ae5bd6fa5c75a6fa2
https://doi.org/10.1145/3533767.3534220
https://doi.org/10.1145/3533767.3534220
