EDBT 2026 Demo / reviewers in the wild / expert
Syed Yusuf Ahmed
dblp:354/6263
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2025
0009-0002-3229-1386ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
2 papers |
Software testing · 88% Program analysis · 12% | |
| Artificial intelligence
1 paper |
Language models and text generation · 100% | |
| Network and information security
1 paper |
Systems and software security · 100% |
Topics — the 4 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Natural language and speech › Language models and text generation
LLM agents |
0.9 | 1 | 2025 | TAI3: Testing Agent Integrity in Interpreting User Intent · NeurIPS 2025 |
Systems and software security › software vulnerability
cryptographic API misuse |
0.7 | 1 | 2023 | MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors · ESEC/SIGSOFT FSE 2023 |
Software testing
mutation testing |
0.7 | 1 | 2023 | MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors · ESEC/SIGSOFT FSE 2023 |
Program analysis
static analysis |
0.2 | 1 | 2023 | MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors · ESEC/SIGSOFT FSE 2023 |
Methods — techniques the papers use, named apart from their topics
semantic partitioning · 1.7mutation testing · 1.7mutation scopes · 1.3mutation operators · 1.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | TAI3: Testing Agent Integrity in Interpreting User IntentabstractLLM agents are increasingly deployed to automate real-world tasks by invoking APIs through natural language instructions. While powerful, they often suffer from misinterpretation of user intent, leading to the agent’s actions that diverge from the user’s intended goal, especially as external toolkits evolve. Traditional software testing assumes structured inputs and thus falls short in handling the ambiguity of natural language. We introduce TAI3, an API-centric stress testing framework that systematically uncovers intent integrity violations in LLM agents. Unlike prior work focused on fixed benchmarks or adversarial inputs, TAI3 generates realistic tasks based on toolkits’ documentation and applies targeted mutations to expose subtle agent errors while preserving user intent. To guide testing, we propose semantic partitioning, which organizes natural language tasks into meaningful categories based on toolkit API parameters and their equivalence classes. Within each partition, seed tasks are mutated and ranked by a lightweight predictor that estimates the likelihood of triggering agent errors. To enhance efficiency, TAI3 maintains a datatype-aware strategy memory that retrieves and adapts effective mutation patterns from past cases. Experiments on 80 toolkit APIs demonstrate that TAI3 effectively uncovers intent integrity violations, significantly outperforming baselines in both error-exposing rate and query efficiency. Moreover, TAI3 generalizes well to stronger target models using smaller LLMs for test generation, and adapts to evolving APIs across domains. Shiwei Feng 0002, Xiangzhe Xu, Xuan Chen 0003, Kaiyuan Zhang 0002, Syed Yusuf Ahmed, Zian Su, Mingwei Zheng, Xiangyu Zhang 0001 |
NeurIPS | 5 |
| 2023 | MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse DetectorsabstractWhile software engineers are optimistically adopting crypto-API misuse detectors (or crypto-detectors) in their software development cycles, this momentum must be accompanied by a rigorous understanding of crypto-detectors’ effectiveness at finding crypto-API misuses in practice. This demo paper presents the technical details and usage scenarios of our tool, namely Mutation Analysis for evaluating Static Crypto-API misuse detectors (MASC). We developed 12 generalizable, usage based mutation operators and three mutation scopes, namely Main Scope, Similarity Scope, and Exhaustive Scope, which can be used to expressively instantiate compilable variants of the crypto-API misuse cases. Using MASC, we evaluated nine major crypto-detectors, and discovered 19 unique, undocumented flaws. We designed MASC to be configurable and user-friendly; a user can configure the parameters to change the nature of generated mutations. Furthermore, MASC comes with both Command Line Interface and Web-based front-end, making it practical for users of different levels of expertise. Amit Seal Ami, Syed Yusuf Ahmed, Radowan Mahmud Redoy, Nathan Cooper, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, Adwait Nadkarni |
ESEC/SIGSOFT FSE | 2 |