| 2025 | LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements. | Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik |
| 2025 | GUIDE: LLM-Driven GUI Generation Decomposition for Automated Prototyping. | Kristian Kolthoff, Felix Kretzer, Christian Bartelt, Alexander Maedche, Simone Paolo Ponzetto |
| 2025 | ROSA: Finding Backdoors with Fuzzing. | Dimitri Kokkonis, Michal Marcozzi, Emilien Decoux, Stefano Zacchiroli |
| 2025 | Fairquant: Certifying and Quantifying Fairness of Deep Neural Networks. | Brian Hyeongseok Kim, Jingbo Wang, Chao Wang |
| 2025 | A Multi-Agent Approach for REST API Testing with Semantic Graphs and LLM-Driven Inputs. | Myeongsoo Kim, Tyler Stennett, Saurabh Sinha, Alessandro Orso |
| 2025 | Fork State-Aware Differential Fuzzing for Blockchain Consensus Implementations. | Wonhoi Kim, Hocheol Nam, Muoi Tran, Amin Jalilov, Zhenkai Liang, Sang Kil Cha, Min Suk Kang |
| 2025 | Digital Twins for Software Engineering Processes. | Robin Kimmel, Judith Michael, Andreas Wortmann, Jingxi Zhang |
| 2025 | Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries. | Sehoon Kim, Yonghyeon Kim, Dahyeon Park, Yuseok Jeon, Jooyong Yi, Mijung Kim |
| 2025 | Multi-Modal LLM-Based Fully-Automated Training Dataset Generation Software Platform for Mathematics Education. | Minjoo Kim, Taehyun Kim Kim, Jaehyun Chung, Hyunseok Choi, Seokhyeon Min, Joon-Ho Lim, Soohyun Park |
| 2025 | Trustworthiness of Large Language Models for Code. | Dipin Khati |
| 2025 | ClauseBench: Enhancing Software License Analysis with Clause-Level Benchmarking. | Qiang Ke, Xinyi Hou, Yanjie Zhao, Haoyu Wang |
| 2025 | NIODebugger: A Novel Approach to Repair Non-Idempotent-Outcome Tests with LLM-Based Agent. | Kaiyao Ke |
| 2025 | Challenges of Conducting Research in Software Engineering: A case of graduate students in low resource contexts. | Rashidah Kasauli, Hawa Nyende, Chongomweru Halimu, Nasser Kimbugwe |
| 2025 | VReqST: A Requirement Specification Tool for Virtual Reality Software Products. | Sai Anirudh Karre, Amogha A Halhalli, Y. Raghu Reddy |
| 2025 | Studying Programmers Without Programming: Investigating Expertise Using Resting State fMRI. | Zachary Karas, Benjamin Gold, Violet Zhou, Noah Reardon, Thad Polk, Catie Chang, Yu Huang |
| 2025 | A Unified Browser-Based Consent Management Framework. | Gayatri Priyadarsini Kancherla, Abhishek Bichhawat |
| 2025 | OSS-LCAF: Open-Source Software License Conflict Analysis Framework. | Aditya Kahol, Anka Chandrahas Tummepalli, Preethu Rose Anish |
| 2025 | A Mixed-Methods Analysis of Policy, Legal, and Technical Barriers to the Adoption of AI and IoT-Driven Agricultural Solutions in the East African Community (EAC). | Edison Kagona |
| 2025 | Investigating the Developer Experience of LGBTQIAPN+ People in Agile Teams. | Edvaldo Wassouf Jr, Pedro Fukuda, Awdren L. Fonto |
| 2025 | The Design Smells Breaking the Boundary between Android Variants and AOSP. | Wuxia Jin, Jiaowei Shang, Jianguo Zheng, Mengjie Sun, Zhenyu Huang, Ming Fan, Ting Liu |
| 2025 | Breaking the Cycle of Recurring Failures: Generative AI and Root Cause Analysis in Legacy Banking Systems. | Siyuan Jin, Zhendong Bei, Bichao Chen, Yong Xia |
| 2025 | ConsCS: Effective and Efficient Verification of Circom Circuits. | Jinan Jiang, Xinghao Peng, Jinzhao Chu, Xiapu Luo |
| 2025 | ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation. | Xue Jiang, Yihong Dong, Yongding Tao, Huanyu Liu, Zhi Jin, Ge Li |
| 2025 | SIT: An Accurate, Compliant SBOM Generator with Incremental Construction. | Changguo Jia, Nianyu Li, Kai Yang, Minghui Zhou |
| 2025 | Execution Trace Reconstruction Using Diffusion-Based Generative Models. | Madeline Janecek, Naser Ezzati-Jivan, Abdelwahab Hamou-Lhadj |