Antonio Abu Nassar

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

Collaborative distances:

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

2023

Simulation by Rounds of Letter-to-Letter Transducers.

Antonio Abu Nassar, Shaull Almagor

Log. Methods Comput. Sci., 2023

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