Haim Kermany

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 2

Top Topics

Mutation Testing

Event Detection

Interesting Events

Top Venues

Publications

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)
Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv
Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection. DAC (2020)
Haim Kermany, Erez Petrank
The Compressor: concurrent, incremental, and parallel compaction. PLDI (2006)