Loading…
Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability
Galindo-Gutierrez, Geraldine, Sandoval Alcocer, Juan Pablo, Jimenez-Fuentes, Nicolas, Bergel, Alexandre, Fraser, Gordon
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…
Practical Object-Level Sanitizer with Aggregated Memory Access and Custom Allocator
Wang, Xiaolei, Li, Ruilin, Zhang, Bin, Feng, Chao, Tang, Chaojing
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…
GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors
Yong, Heng, Li, Zhong, Pan, Minxue, Zhang, Tian, Zhao, Jianhua, Li, Xuandong
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…
mu \text: A Mutation Testing Pipeline for Deep Reinforcement Learning Based on Real Faults
Thomas, Deepak-George, Biagiola, Matteo, Humbatova, Nargiz, Wardat, Mohammad, Jahangirova, Gunel, Rajan, Hridesh, Tonella, Paolo
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…
Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models
Yang, Aidan Z.H., Kolak, Sophia, Hellendoorn, Vincent, Martins, Ruben, Goues, Claire Le
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…
Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-Box Fuzzing?
Wu, Mingyuan, Xiang, Jiahong, Chen, Kunqiu, Di, Peng, Tan, Shin Hwei, Cui, Heming, Zhang, Yuqun
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…
Definition and Detection of Centralization Defects in Smart Contracts
Lin, Zewei, Chen, Jiachi, Wu, Jiajing, Zhang, Weizhe, 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…
SECRET: Towards Scalable and Efficient Code Retrieval via Segmented Deep Hashing
Gu, Wenchao, Shi, Ensheng, Wang, Yanlin, Du, Lun, Han, Shi, Zhang, Hongyu, Zhang, Dongmei, Lyu, Michael R.
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…
Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs
Zhang, Chenxi, Liang, Yufei, Tan, Tian, Xu, Chang, Kan, Shuangxiang, Sui, Yulei, Li, Yue
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…
Automated Generation of Accessibility Test Reports from Recorded User Transcripts
Huq, Syed Fatiul, Tafreshipour, Mahan, Kalcevich, Kate, Malek, Sam
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 Multiple Representation Transformer with Optimized Abstract Syntax Tree for Efficient Code Clone Detection
Yu, Tianchen, Yuan, Li, Lin, Liannan, He, Hongkui
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…
RediI: Test Infrastructure to Enable Deterministic Reproduction of Failures for Distributed Systems
Feng, Yang, Lin, Zheyuan, Zhao, Dongchen, Zhou, Mengbo, Liu, Jia, Jones, James A.
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 Cloud-Scale Authorization
Chakarov, Aleks, Geldenhuys, Jaco, Heck, Matthew, Hicks, Michael, Huang, Sam, Jaloyan, Georges-Axel, Joshi, Anjali, Leino, K. Rustan M., Mayer, Mikael, McLaughlin, Sean, Mritunjai, Akhilesh, Pit-Claudel, Clement, Porncharoenwase, Sorawee, Rabe, Florian, Rapoport, Marianna, Reger, Giles, Roux, Cody, Rungta, Neha, Salkeld, Robin, Schlaipfer, Matthias, Schoepe, Daniel, Schwartzentruber, Johanna, Tasiran, Serdar, Tomb, Aaron, Torlak, Emina, Tristan, Jean-Baptiste, Wagner, Lucas, Whalen, Michael W., Willems, Remy, Xiang, Tongtong, Byun, Tae Joon, Cohen, Joshua, Fang, Ruijie, Jang, Junyoung, Rath, Jakob, Syeda, Hira Taqdees, Wagner, Dominik, Yuan, Yongwei
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…
Leveraging Propagated Infection to Crossfire Mutants
Du, Hang, Palepu, Vijay Krishna, Jones, James A.
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…
PairSmell: A Novel Perspective Inspecting Software Modular Structure
Zhong, Chenxing, Feitosa, Daniel, Avgeriou, Paris, Huang, Huang, Li, Yue, Zhang, He
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…
Planning a Large Language Model for Static Detection of Runtime Errors in Code Snippets
Patel, Smit, Yadavally, Aashish, Dhulipala, Hridya, Nguyen, Tien N.
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 Seeds of the Future Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning Libraries
Li, Zhiyuan, Wu, Jingzheng, Ling, Xiang, Luo, Tianyue, Rui, Zhiqing, Wu, Yanjun
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 Assistance for Memory Safety
Mohammed, Nausheen, Lal, Akash, Rastogi, Aseem, Sharma, Rahul, Roy, Subhajit
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…
Pattern-Based Generation and Adaptation of Quantum Workflows
Beisel, Martin, Barzen, Johanna, Leymann, Frank, Stiliadou, Lavinia, Vietz, Daniel, Weder, Benjamin
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…
Fork State-Aware Differential Fuzzing for Blockchain Consensus Implementations
Kim, Wonhoi, Nam, Hocheol, Tran, Muoi, Jalilov, Amin, Liang, Zhenkai, Cha, Sang Kil, Kang, Min Suk
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