Publications | SPARTAN

[arxiv]

VeriGrey: Greybox Agent Validation

Yuntong Zhang, Sungmin Kang, Ruijie Meng, Marcel Boehme, Abhik Roychoudhury

arxiv:2603 pre-print 2026

Released via blog post to show agent testing in OpenClaw and other agents

[CACM]

Agentic AI Software Engineers: Programming with Trust

Abhik Roychoudhury, Corina Păsăreanu, Michael Pradel, Baishakhi Ray

Communications of the ACM (CACM), 69(5), May 2026

Released in arxiv Feb 19 2025, coinciding with AutoCodeRover acquisition announcement

[FSE]

Agentic Verification of Software Systems

Haoxin Tu, Huan Zhao, Yahui Song, Mehtab Zafar, Ruijie Meng Abhik Roychoudhury

ACM International Conference on Foundations of Software Engineering (FSE), 2026

A proposal to conduct formal verification using LLM agents

[FSE]

AutoCodeRover: Agentic Program Repair for SonarQube Issues

Martin Mirchev, Ridwan Shariffdeen, Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury

ACM International Conference on Foundations of Software Engineering (FSE), Industry Track, 2026

Tech Transfer of AutoCodeRover agent to SonarQube

[S&P]

Agentic Concolic Execution

Zhengxiong Luo, Huan Zhao, Dylan Wolff, Cristian Cadar, Abhik Roychoudhury

47th IEEE Symposium on Security and Privacy, 2026

[ICSE]

Unified Software Engineering agent as AI Software Engineer

Leonhard Applis, Yuntong Zhang, Shanchao Liang, Nan Jiang, Lin Tan, Abhik Roychoudhury

ACM/IEEE International Conference on Software Engineering, 2026

[ICSE]

Repairing LLM Executions for Secure Automatic Programming

Ali El Husseini, Yacine Izza, Blaise Genest, Abhik Roychoudhury

ACM/IEEE International Conference on Software Engineering, 2026

[ICSE-SEIP]

Fixing Security Vulnerabilities with Agentic AI in OSS-Fuzz

Yuntong Zhang, Jiawei Wang, Dominic Berzin, Martin Mirchev, Abhik Roychoudhury

ACM/IEEE International Conference on Software Engineering, 2026 (SEIP track)

[CACM]

Large Language Models in Software Security Analysis

Dylan Wolff, Martin Mirchev, Abhik Roychoudhury

Communications of the ACM (CACM), To appear

[ICSE]

SpecRover: Code Intent Extraction via LLMs

Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury

47th International Conference on Software Engineering (ICSE) 2025

[ISSTA]

AutoCodeRover: Autonomous Program Improvement

Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury

ACM International Symposium on Software Testing and Analysis (ISSTA) 2024, arXiv:2404.05427, Publicly released 8th April 2024

[ISSTA]

Oracle-guided Program Selection from Large Language Models

Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury

ACM International Symposium on Software Testing and Analysis (ISSTA) 2024

[ICSE]

Automated Repair of Programs from Large Language Models

Zhiyu Fan, Xiang Gao, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan

IEEE/ACM International Conference on Software Engineering (ICSE) 2023