TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage. - Rachel Tzoref-Brill; Saurabh Sinha; Antonio Abu Nassar; Victoria Goldin; Haim Kermany (ICST, 2022)

Simulation by Rounds of Letter-to-Letter Transducers. - Antonio Abu Nassar; Shaull Almagor (Log. Methods Comput. Sci., 2023)