Antonio Abu Nassar

According to our database, Antonio Abu Nassar authored at least 2 papers in 2022.

Collaborative distances:

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

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