Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Loading…
NADA: Neural Acceptance-Driven Approximate Specification Mining
Luo, Weilin, Han, Tingchen, Qiu, Junming, Wan, Hai, Du, Jianfeng, Peng, Bo, Xiao, Guohui, Liu, Yanan
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Xiao, Yuan, Chen, Yuchen, Ma, Shiqing, Huang, Haocheng, Fang, Chunrong, Chen, Yanwei, Sun, Weisong, Zhu, Yunfeng, Zhang, Xiaofang, Chen, Zhenyu
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Enhancing Smart Contract Security Analysis with Execution Property Graphs
Qin, Kaihua, Ye, Zhe, Wang, Zhun, Li, Weilin, Zhou, Liyi, Zhang, Chao, Song, Dawn, Gervais, Arthur
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code
Wong, Wai Kin, Wu, Daoyuan, Wang, Huaijin, Li, Zongjie, Liu, Zhibo, Wang, Shuai, Tang, Qiyi, Nie, Sen, Wu, Shi
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Detecting Isolation Anomalies in Relational DBMSs
Yang, Rui, Cui, Ziyu, Dou, Wensheng, Gao, Yu, Song, Jiansen, Xie, Xudong, Wei, Jun
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
The Incredible Shrinking Context... in a Decompiler Near You
Lagouvardos, Sifis, Bollanos, Yannis, Grech, Neville, Smaragdakis, Yannis
Published in Proceedings of the ACM on software engineering (22.06.2025)
Published in Proceedings of the ACM on software engineering (22.06.2025)
Get full text
Journal Article
Loading…
Smart Contract Fuzzing Towards Profitable Vulnerabilities
Kong, Ziqiao, Zhang, Cen, Xie, Maoyi, Hu, Ming, Xue, Yue, Liu, Ye, Wang, Haijun, Liu, Yang
Published in Proceedings of the ACM on software engineering (19.06.2025)
Published in Proceedings of the ACM on software engineering (19.06.2025)
Get full text
Journal Article
Loading…
Automated Unit Test Refactoring
Gao, Yi, Hu, Xing, Yang, Xiaohu, Xia, Xin
Published in Proceedings of the ACM on software engineering (19.06.2025)
Published in Proceedings of the ACM on software engineering (19.06.2025)
Get full text
Journal Article
Loading…
Automated Soap Opera Testing Directed by LLMs and Scenario Knowledge: Feasibility, Challenges, and Road Ahead
Su, Yanqi, Xing, Zhenchang, Wang, Chong, Chen, Chunyang, Xu, Sherry (Xiwei), Lu, Qinghua, Zhu, Liming
Published in Proceedings of the ACM on software engineering (19.06.2025)
Published in Proceedings of the ACM on software engineering (19.06.2025)
Get full text
Journal Article
Loading…
Loading…
Empirically Evaluating the Impact of Object-Centric Breakpoints on the Debugging of Object-Oriented Programs
Bourcier, Valentin, Rani, Pooja, Santander, Maximilian Ignacio Willembrinck, Bacchelli, Alberto, Costiou, Steven
Published in Proceedings of the ACM on software engineering (19.06.2025)
Published in Proceedings of the ACM on software engineering (19.06.2025)
Get full text
Journal Article
Loading…
Detecting Metadata-Related Bugs in Enterprise Applications
Kabir, Md Mahir Asef, Wang, Xiaoyin, Meng, Na
Published in Proceedings of the ACM on software engineering (19.06.2025)
Published in Proceedings of the ACM on software engineering (19.06.2025)
Get full text
Journal Article
Loading…
Adaptive Random Testing with Q-grams: The Illusion Comes True
Biagiola, Matteo, Feldt, Robert, Tonella, Paolo
Published in Proceedings of the ACM on software engineering (19.06.2025)
Published in Proceedings of the ACM on software engineering (19.06.2025)
Get full text
Journal Article
Loading…
A Knowledge Enhanced Large Language Model for Bug Localization
Li, Yue, Liu, Bohan, Zhang, Ting, Wang, Zhiqi, Lo, David, Yang, Lanxin, Lyu, Jun, Zhang, He
Published in Proceedings of the ACM on software engineering (19.06.2025)
Published in Proceedings of the ACM on software engineering (19.06.2025)
Get full text
Journal Article
Loading…
Alert Summarization for Online Service Systems by Validating Propagation Paths of Faults
Chen, Jia, He, Yuang, Wang, Peng, Chen, Xiaolei, Shi, Jie, Wang, Wei
Published in Proceedings of the ACM on software engineering (19.06.2025)
Published in Proceedings of the ACM on software engineering (19.06.2025)
Get full text
Journal Article
Loading…
Improving Graph Learning-Based Fault Localization with Tailored Semi-supervised Learning
Li, Chun, Li, Hui, Li, Zhong, Pan, Minxue, Li, Xuandong
Published in Proceedings of the ACM on software engineering (19.06.2025)
Published in Proceedings of the ACM on software engineering (19.06.2025)
Get full text
Journal Article
Loading…
Loading…
Loading…
On the Unnecessary Complexity of Names in X.509 and Their Impact on Implementations
Sun, Yuteng, Debnath, Joyanta, Hong, Wenzheng, Chowdhury, Omar, Chau, Sze Yiu
Published in Proceedings of the ACM on software engineering (19.06.2025)
Published in Proceedings of the ACM on software engineering (19.06.2025)
Get full text
Journal Article