Loading…
ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation
Jiang, Xue, Dong, Yihong, Tao, Yongding, Liu, Huanyu, Jin, Zhi, Li, Ge
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Parametric Falsification of Many Probabilistic Requirements Under Flakiness
Camilli, Matteo, Mirandola, Raffaela
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations
Hundal, Rajdeep Singh, Xiao, Yan, Cao, Xiaochun, Dong, Jin Song, Rigger, Manuel
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
LLM-Aided Automatic Modeling for Security Protocol Verification
Mao, Ziyu, Wang, Jingyi, Sun, Jun, Qin, Shengchao, Xiong, Jiawen
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Famos: Fault Diagnosis for Microservice Systems Through Effective Multi-Modal Data Fusion
Duan, Chiming, Yang, Yong, Jia, Tong, Liu, Guiyang, Liu, Jinbu, Zhang, Huxing, Zhou, Qi, Li, Ying, Huang, Gang
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
A Catalog of Micro Frontends Anti-Patterns
da Silva, Nabson Paiva Souza, Rodrigues, Eriky, Conte, Tayana
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Instrumentation-Driven Evolution-Aware Runtime Verification
Guan, Kevin, Legunsen, Owolabi
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Moye: A Wallbreaker for Monolithic Firmware
Huang, Jintao, Yang, Kai, Wang, Gaosheng, Shi, Zhiqiang, Pan, Zhiwen, Lv, Shichao, Sun, Limin
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Unseen Horizons: Unveiling the Real Capability of LLM Code Generation Beyond the Familiar
Zhang, Yuanliang, Xie, Yifan, Lit, Shanshan, Liu, Ke, Wang, Chong, Jia, Zhouyang, Huang, Xiangbing, Song, Jie, Luo, Chaopeng, Zheng, Zhizheng, Xu, Rulin, Liu, Yitong, Zheng, Si, Liao, Xiangke
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vulnerability Code
Li, Siyuan, Li, Yuekang, Chen, Zuxin, Dong, Chaopeng, Wang, Yongpan, Li, Hong, Chen, Yongle, Zhu, Hongsong
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification
Chen, Yizhou, Sun, Zeyu, Wang, Guoqing, Hao, Dan
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Towards More Trustworthy Deep Code Models by Enabling Out-of-Distribution Detection
Yan, Yanfu, Duong, Viet, Shao, Huajie, Poshyvanyk, Denys
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
RLCoder: Reinforcement Learning for Repository-Level Code Completion
Wang, Yanlin, Wang, Yanli, Guo, Daya, Chen, Jiachi, Zhang, Ruikai, Ma, Yuchi, Zheng, Zibin
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Enhancing Code Generation via Bidirectional Comment-Level Mutual Grounding
Di, Yifeng, Zhang, Tianyi
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Dissecting Global Search: A Simple Yet Effective Method to Boost Individual Discrimination Testing and Repair
Quan, Lili, Li, Tianlin, Xie, Xiaofei, Chen, Zhenpeng, Chen, Sen, Jiang, Lingxiao, Li, Xiaohong
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Investigating the Impact of Interpersonal Challenges on Feeling Welcome in OSS
Trinkenreich, Bianca, Feng, Zixuan, Choudhuri, Rudrajit, Gerosa, Marco, Sarma, Anita, Steinmacher, Igor
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Early Detection of Performance Regressions by Bridging Local Performance Data and Architectural Models
Liao, Lizhi, Eismann, Simon, Li, Heng, Bezemer, Cor- Paul, Costa, Diego Elias, van Hoorn, Andre, Shang, Weiyi
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…
Loading…
Sand: Decoupling Sanitization from Fuzzing for Low Overhead
Kong, Ziqiao, Li, Shaohua, Huang, Heqing, Su, Zhendong
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Published in Proceedings / International Conference on Software Engineering (26.04.2025)
Get full text
Conference Proceeding
Loading…