Antonio Abu Nassar

According to our database, Antonio Abu Nassar authored at least 6 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Beyond Summaries: Structure-Aware Labeling of Code Changes with Large Language Models.

Bar Weiss, Antonio Abu Nassar, Adi Sosnovich, Karen Yorav

CoRR, May, 2026

Resolving Java Code Repository Issues with iSWE Agent.

Jatin Ganhotra, Sami Serhan, Antonio Abu Nassar, Avraham Shinnar, Ziv Nevo, Martin Hirzel

CoRR, March, 2026

Enhancing Formal Software Specification with Artificial Intelligence.

Antonio Abu Nassar, Eitan Farchi

CoRR, January, 2026

2025

PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In Code.

Itay Dreyfuss, Antonio Abu Nassar, Samuel Ackerman, Axel Bendavid, Eitan Farchi, Rami Katan, Orna Raz, Marcel Zalmanovici

CoRR, December, 2025

2022

TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage.

Rachel Tzoref-Brill, Saurabh Sinha, Antonio Abu Nassar, Victoria Goldin, Haim Kermany

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Simulation by Rounds of Letter-To-Letter Transducers.

Antonio Abu Nassar, Shaull Almagor

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022