ISSTA Conference
@issta_conf
Followers
2K
Following
120
Media
168
Statuses
463
The 34th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Trondheim, Norway
Joined September 2014
🎶 Do not miss the organ concert as part of the #ISSTA25 social event starting at 19:00 at the Nidaros Cathedral.
0
0
0
Finishing the paper sessions of the second day at #ISSTA25 (16:00 - 17:30):. 📌 Smart Contracts 2 📍Cosmos 3B.📌 Fuzzing and Search-Based Testing 📍Cosmos 3C.
0
0
0
Afternoon sessions at #ISSTA25 (14:00 - 15:30):. 📌 AI Testing 📍Cosmos 3A.📌 Binary Code Analysis and Optimization 📍Cosmos 3B.📌 Gamification, Specifications, and Code Reviews 📍Cosmos 3C.
0
0
0
Morning sessions at #ISSTA25 (11:00 - 12:30):. 📌 Smart Contracts 1 📍Cosmos 3A.📌 Program Analysis 2 📍Cosmos 3B.📌 LLM-based Testing 2 📍Cosmos 3C.📌 Empirical Studies 📍Cosmos Hall.
0
0
0
🏆 Most Influential Paper 🏆. Let's start the morning with our #ISSTA2025 MIP Talk!. Zichao Qi, Fan Long, Sara Achour, and Martin Rinard."An Analysis of Patch Plausibility and Correctness for Generate-and-validate Patch Generation Systems". 📍 Cosmos Hall.
2
0
3
🏆 Distinguished Paper Award (9/9) 🏆. Dominik Frey, Ulf Kargén, and Daniel Varro. "Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles".
0
0
0
🏆 Distinguished Paper Award (8/9) 🏆. Siao Wang, Zhen Dong, Hui Li, Liwei Shen, Xin Peng, and Dongdong She. "RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search".
1
0
0
🏆 Distinguished Paper Award (7/9) 🏆. Yingwei Ma, Rongyu Cao, Yongchang Cao, Yue Zhang, Jue Chen, Yibo Liu, Yuchen Liu, Binhua Li, Fei Huang, and Yongbin Li. "SWE-GPT: A Process-Centric Language Model for Automated Software Improvement".
1
1
1
🏆 Distinguished Paper Award (6/9) 🏆. Zhiyong Wu, Jie Liang, Jingzhou Fu, Mingzhe Wang, and Yu Jiang. "Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis".
1
0
0
🏆 Distinguished Paper Award (5/9) 🏆. Zhilei Ren, Yitao Li, Xiaochen Li, Guanxiao Qi, Jifeng Xuan, He Jiang. "Reinforcement Learning-based Fuzz Testing for the Gazebo Robotic Simulator".
1
0
0
🏆 Distinguished Paper Award (4/9) 🏆. Lian Gao and Heng Yin. "BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction".
1
0
0
🏆 Distinguished Paper Award (3/9) 🏆. Qingchen Yu, Xin Liu, Qingguo Zhou, and Chunming Wu. "Bridging the Gaps Between Graph Neural Networks and Data-Flow Analysis: The Closer, the Better".
1
0
1
🏆 Distinguished Paper Award (2/9) 🏆. Niklas Risse, Jing Liu, and Marcel Böhme. "Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection".
1
0
2
🏆 Distinguished Paper Award (1/9) 🏆. Lingxiao Tang, Jiakun Liu, Zhongxin Liu, Xiaohu Yang, and Lingfeng Bao. "LLM4SZZ: Enhancing SZZ Algorithm with Context-Enhanced Assessment on Large Language Models".
1
0
0