AI4SE publications
-
ATP: the Agentic Transfer Protocol. Submitted to the NeurIPS Workshop on Foundations of Agentic Systems Theory (FAST), 2026
-
Silent Reliance or Diligent Review? Human-Agent Engagement and Interaction Patterns in GitHub. Journal Ahead Workshop (JAWs), co-located with ICSE, 2026
-
Test Case Selection for Deep Neural Networks: A Replication Study on LLMs for Code. Accepted at the 35th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2026
-
A Metamorphic Testing Approach to Diagnosing Memorization in LLM-Based Program Repair. The 26th International Conference on Software Quality, Reliability, and Security (QRS), 2026
-
Developer Interaction Patterns with Proactive AI: A Five-Day Field Study. ACM International Conference on Intelligent User Interfaces (IUI), 2026
-
Human-AI Experience in Integrated Development Environments: A Systematic Literature Review. Empirical Software Engineering (EMSE), 31, Article 55, 2026
-
Developer Needs and Feasible Features for AI Assistants in IDEs. IEEE/ACM International Conference on Software Engineering (ICSE — Software Engineering in Practice), 2026
-
Benchmarking AI Models in Software Engineering: A Review, Search Tool, and Unified Approach for Elevating Benchmark Quality. IEEE Transactions on Software Engineering (TSE), 52(2); journal-first presentation at the ACM International Conference on the Foundations of Software Engineering (FSE), 2026
-
What Challenges Do Developers Face in AI Agent Systems? An Empirical Study on Stack Overflow & GitHub Issues. Accepted in the Journal of Systems and Software (JSS), 2026
-
LibEvoBench: Probing Temporal Knowledge Stratification in Code Generation Models. Deep Learning for Code Workshop (DL4Code), co-located with the International Conference on Machine Learning (ICML), 2026
-
Towards Evaluation of Implicit Software World Models in Coding LLMs. Deep Learning for Code Workshop (DL4Code), co-located with the International Conference on Machine Learning (ICML), 2026
-
Observability and Fault Injection for LLM-Based Multi-Agent Systems in Software Engineering. IEEE International Conference on Software Testing, Verification and Validation (ICST — Testing Tools and Data Showcase), 2026
-
ANVIL: Analogies and Videos for Lecturers. International Conference on Artificial Intelligence in Education (AIED — Tool contribution), 2026
-
AI-Generated Traces for Novice Programmers: Learning Effects and Learner Differences in a Multi-Institutional Study. ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE), 2026
-
Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI. arXiv preprint, revised; resubmitted to Formal Aspects of Computing (FAC), 2026
-
Creating in-IDE Programming Courses. ACM Technical Symposium on Computer Science Education (SIGCSE TS — Tutorial 104), 2025
-
AgentGuard: Runtime Verification of AI Agents. First International Workshop on Autonomous Agents in Software Engineering (AgenticSE Workshop), co-located with the IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025
-
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering. 40th IEEE/ACM International Conference on Automated Software Engineering (ASE — Industry Showcase), 2025
-
TreeRanker: Fast and Model-agnostic Ranking System for Code Suggestions in IDEs. 40th IEEE/ACM International Conference on Automated Software Engineering (ASE — Industry Showcase), 2025
-
Metamorphic Testing of Deep Code Models: A Systematic Literature Review. ACM Transactions on Software Engineering Methodology (TOSEM), 2025
-
Exploring the black box: analysing explainable AI challenges and best practices through stack exchange discussions. Empirical Software Engineering (EMSE), 30, Article 176; journal-first presentation at ICSE 2026, 2025
-
Multimodal Analogy Generation in Programming Education. Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education, Volume 2 (ITiCSE — Poster contribution), 2025
-
Designing and Evaluating AI-Generated Multimodal Analogy-Based Explanations. 26th International Conference on Artificial Intelligence in Education (AIED — Doctoral Consortium), 2025
-
Improving the Comprehensibility of Generated Test Suites Using Test Case Clustering. 18th IEEE International Conference on Software Testing, Verification and Validation (ICST — Short Papers, Vision and Emerging Results Track), 2025
-
Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation. 18th IEEE International Conference on Software Testing, Verification and Validation (ICST — Research Papers Track), 2025
-
When People Come First, A Human-Centered Approach to Computer Science Education. ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE — Panel contribution), 2025
-
Enhancing Human-IDE Interaction in the SDLC using LLM-based Mediator Agents. First International Workshop on AI-Augmented SDLC (AI-SDLC Workshop), co-located with the ACM International Conference on the Foundations of Software Engineering (FSE), 2025
-
Mediating between Human Programmers and Integrated Development Environments using LLM-based Agents. ACM International Conference on the Foundations of Software Engineering (FSE — Doctoral Symposium), 2025
-
Enhancing Large Language Model Integration in Integrated Development Environments. ACM International Conference on the Foundations of Software Engineering (FSE — Doctoral Symposium), 2025
-
HyperSeq: A Hyper-Adaptive Representation for Predictive Sequencing of States. ACM International Conference on the Foundations of Software Engineering (FSE — Ideas, Visions and Reflections), 2025
-
A Multi-agent Onboarding Assistant based on Large Language Models, Retrieval Augmented Generation, and Chain-of-Thought. ACM International Conference on the Foundations of Software Engineering (FSE — Demonstration), 2025
-
Metamorphic-Based Many-Objective Distillation of LLMs for Code-related Tasks. 47th IEEE/ACM International Conference on Software Engineering (ICSE — Research Track), 2025
-
Rethinking IDE Customization for Enhanced HAX: A Hyperdimensional Perspective. Second Workshop on Integrated Development Environments (IDE Workshop), co-located with ICSE, 2025
-
Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines. 38th European Conference on Object-Oriented Programming (ECOOP), 2024
-
A Transformer-Based Approach for Smart Invocation of Automatic Code Completion. First ACM International Conference on AI-Powered Software (AIWare), co-located with FSE; ACM Distinguished Paper Award, 2024
-
In-IDE Human-AI Experience in the Era of Large Language Models: A Literature Review. First Workshop on Integrated Development Environments (IDE Workshop), co-located with ICSE, 2024
-
TestSpark: IntelliJ IDEA's Ultimate Test Generation Companion. 46th IEEE/ACM International Conference on Software Engineering, Companion Proceedings (ICSE Companion — Tool Demonstration), 2024
-
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler. ACM International Conference on the Foundations of Software Engineering (FSE — Industry Track), 2024