Loading…
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
Ma, Lezhi, Liu, Shangqing, Li, Yi, Xie, Xiaofei, Bu, Lei
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 "Naturalness" of Buggy Code
Ray, Baishakhi, Hellendoorn, Vincent, Godhane, Saheel, Zhaopeng Tu, Bacchelli, Alberto, Devanbu, Premkumar
Published in Proceedings / International Conference on Software Engineering (01.05.2016)
Published in Proceedings / International Conference on Software Engineering (01.05.2016)
Get full text
Conference Proceeding
Loading…
Learning to Spot and Refactor Inconsistent Method Names
Liu, Kui, Kim, Dongsun, Bissyande, Tegawende F., Kim, Taeyoung, Kim, Kisub, Koyuncu, Anil, Kim, Suntae, Le Traon, Yves
Published in Proceedings / International Conference on Software Engineering (01.05.2019)
Published in Proceedings / International Conference on Software Engineering (01.05.2019)
Get full text
Conference Proceeding
Loading…
NL2Type: Inferring JavaScript Function Types from Natural Language Information
Malik, Rabee Sohail, Patra, Jibesh, Pradel, Michael
Published in Proceedings / International Conference on Software Engineering (01.05.2019)
Published in Proceedings / International Conference on Software Engineering (01.05.2019)
Get full text
Conference Proceeding
Loading…
An Empirical Study on Reproducible Packaging in Open-Source Ecosystems
Benedetti, Giacomo, Solarin, Oreofe, Miller, Courtney, Tystahl, Greg, Enck, William, Kastner, Christian, Kapravelos, Alexandros, Merlo, Alessio, Verderame, Luca
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…
Does GenAI Make Usability Testing Obsolete?
Pourasad, Ali Ebrahimi, Maalej, Walid
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…
LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-Based Code Completion
Wang, Chong, Huang, Kaifeng, Zhang, Jian, Feng, Yebo, Zhang, Lyuye, Liu, Yang, Peng, Xin
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…
Show Me Your Code! Kill Code Poisoning: A Lightweight Method Based on Code Naturalness
Sun, Weisong, Chen, Yuchen, Yuan, Mengzhe, Fang, Chunrong, Chen, Zhenpeng, Wang, Chong, Liu, Yang, Xu, Baowen, Chen, Zhenyu
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…
LiSSA: Toward Generic Traceability Link Recovery Through Retrieval- Augmented Generation
FuchB, Dominik, Hey, Tobias, Keim, Jan, Liu, Haoyu, Ewald, Niklas, Thirolf, Tobias, Koziolek, Anne
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…
Accounting for Missing Events in Statistical Information Leakage Analysis
Lee, Seongmin, Minocha, Shreyas, Bohme, Marcel
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…
Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses
Pedro, Rodrigo, Coimbra, Miguel E., Castro, Daniel, Carreira, Paulo, Santos, Nuno
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…
Between Lines of Code: Unraveling the Distinct Patterns of Machine and Human Programmers
Shi, Yuling, Zhang, Hongyu, Wan, Chengcheng, Gu, Xiaodong
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…
Thanos: DBMS Bug Detection via Storage Engine Rotation Based Differential Testing
Fu, Ying, Wu, Zhiyong, Zhang, Yuanliang, Liang, Jie, Fu, Jingzhou, Jiang, Yu, Li, Shanshan, 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…
Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs
Gao, Hongyan, Yang, Yibiao, Sun, Maolin, Wu, Jiangchang, Zhou, Yuming, Xu, Baowen
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…
Combining Fine-Tuning and LLM-Based Agents for Intuitive Smart Contract Auditing with Justifications
Ma, Wei, Wu, Daoyuan, Sun, Yuqiang, Wang, Tianwen, Liu, Shangqing, Zhang, Jian, Xue, Yue, Liu, Yang
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…
Chatgpt-Based Test Generation for Refactoring Engines Enhanced by Feature Analysis on Examples
Dong, Chunhao, Jiang, Yanjie, Zhang, Yuxia, Zhang, Yang, Liu, Hui
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…
Code Comment Inconsistency Detection and Rectification Using a Large Language Model
Rong, Guoping, Yu, Yongda, Liu, Song, Tan, Xin, Zhang, Tianyi, Shen, Haifeng, Hu, Jidong
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…
The Same Only Different: On Information Modality for Configuration Performance Analysis
Liang, Hongyuan, Huang, Yue, Chen, Tao
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…
Faster Configuration Performance Bug Testing with Neural Dual-Level Prioritization
Ma, Youpeng, Chen, Tao, Li, Ke
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