Login / Signup
Antonio Abu Nassar
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Code Coverage
Cursive Handwriting
Simulation Models
Trade Off
Top Venues
ICST
CoRR
Log. Methods Comput. Sci.
CSL
</>
Publications
</>
Antonio Abu Nassar
,
Shaull Almagor
Simulation by Rounds of Letter-to-Letter Transducers.
Log. Methods Comput. Sci.
19 (4) (2023)
Rachel Tzoref-Brill
,
Saurabh Sinha
,
Antonio Abu Nassar
,
Victoria Goldin
,
Haim Kermany
TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage.
ICST
(2022)
Antonio Abu Nassar
,
Shaull Almagor
Simulation by Rounds of Letter-To-Letter Transducers.
CSL
(2022)
Antonio Abu Nassar
,
Shaull Almagor
Simulation by Rounds of Letter-to-Letter Transducers.
CoRR
(2021)