Loading…
Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs
Zhou, Yuanhang, Yan, Zhen, Chen, Yuanliang, Ma, Fuchen, Chen, Ting, Jiang, Yu
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…
From Bugs to Benefits: Improving User Stories by Leveraging Crowd Knowledge with CrUISE-AC
Schwedt, Stefan, Stroder, Thomas
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…
Formally Verified Binary-Level Pointer Analysis
Verbeek, Freek, Shokri, Ali, Engel, Daniel, Ravindran, Binoy
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…
Static Analysis of Remote Procedure Call in Java Programs
Cui, Baoquan, Qu, Rong, Tang, Zhen, Zhang, Jian
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…
An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools
Miao, Miao, Mordahl, Austin, Soles, Dakota, Beideck, Alice, Wei, Shiyi
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…
TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference
Wang, Chong, Zhang, Jian, Lou, Yiling, Liu, Mingwei, Sun, Weisong, 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…
Topseed: Learning Seed Selection Strategies for Symbolic Execution from Scratch
Lee, Jaehyeok, Cha, Sooyoung
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…
MAGIKA: AI-Powered Content-Type Detection
Fratantonio, Yanick, Invernizzi, Luca, Farah, Loua, Thomas, Kurt, Zhang, Marina, Albertini, Ange, Galilee, Francois, Metitieri, Giancarlo, Cretin, Julien, Petit-Bianco, Alex, Tao, David, Bursztein, Elie
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…
Exposing the Hidden Layer: Software Repositories in the Service of Seo Manipulation
Wu, Mengying, Hong, Geng, Mai, Wuyuao, Wu, Xinyi, Zhang, Lei, Pu, Yingyuan, Chai, Huajun, Ying, Lingyun, Duan, Haixin, Yang, Min
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…
Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries
Wang, Yongchao, Cai, Yuandao, Zhang, Charles
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…
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
Chen, Boqi, Lopez, Jose Antonio Hernandez, Mussbacher, Gunter, Varro, Daniel
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 Inaccuracy Mitigation During Technical Report Understanding: Are we There Yet?
Tamanna, Salma Begum, Uddin, Gias, Wang, Song, Xia, Lan, Zhang, Longyu
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…
An Exploratory Study of ML Sketches and Visual Code Assistants
Gomes, Luis F., Hellendoorn, Vincent J., Aldrich, Jonathan, Abreu, Rui
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 Differential Testing Framework to Identify Critical AV Failures Leveraging Arbitrary Inputs
Woodlief, Trey, Hildebrandt, Carl, Elbaum, Sebastian
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…
Aligning the Objective of LLM-Based Program Repair
Xu, Junjielong, Fu, Ying, Tan, Shin Hwei, He, Pinjia
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…
ROSA: Finding Backdoors with Fuzzing
Kokkonis, Dimitri, Marcozzi, Michael, Decoux, Emilien, Zacchiroli, Stefano
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…
The Fact Selection Problem in LLM-Based Program Repair
Parasaram, Nikhil, Yan, Huijie, Yang, Boyu, Flahy, Zineb, Qudsi, Abriele, Ziaber, Damian, Barr, Earl T., Mechtaev, Sergey
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…
CodeImprove: Program Adaptation for Deep Code Models
Rathnasuriya, Ravishka, Zhao, Zijie, Yang, Wei
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…
Knowledge-Enhanced Program Repair for Data Science Code
Ouyang, Shuyin, Zhang, Jie M., Sun, Zeyu, Penuela, Albert Merono
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