Tevfik Bultan

Identifiers

• name variant Tevfik Bultan 0.60 · backfill

Papers (7)

1. Quantitative Symbolic Patch Impact Analysis cs.PL · 2026 · author #3
2. Program Analysis Guided LLM Agent for Proof-of-Concept Generation cs.SE · 2026 · author #4
3. Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery cs.CR · 2026 · author #4
4. Assessing, Exploiting, and Mitigating Syntactic Robustness Failures in LLM-Based Code Generation cs.SE · 2024 · author #4
5. Attack Synthesis for Strings using Meta-Heuristics cs.SE · 2019 · author #5
6. Incremental Adaptive Attack Synthesis cs.SE · 2019 · author #5
7. Contracting the Facebook API cs.SE · 2010 · author #2

Mentions

• 1009.3715 #2 · backfill · confidence 0.70 Tevfik Bultan

Frequent Coauthors

• Achintya Desai 3 shared papers
• Ismet Burak Kadron 2 shared papers
• Laboni Sarker 2 shared papers
• Lucas Bang 2 shared papers
• Md Shafiuzzaman 2 shared papers
• Seemanta Saha 2 shared papers
• Wenbo Guo 2 shared papers
• William Eiers 2 shared papers
• Abdus Satter 1 shared papers
• Ben Rubinger 1 shared papers
• Mara Downing 1 shared papers