Write a Blog >>
ESEC/FSE 2022
Mon 14 - Fri 18 November 2022 Singapore
Shachar Itzhaky

Registered user since Sat 1 Oct 2016

Name:Shachar Itzhaky
Country:Israel
Affiliation:Technion
Research interests:Program Synthesis, Automated Reasoning

Contributions

ESEC/FSE 2022 A Bounded Symbolic-Size Model for Symbolic Execution
Show activities from other conferences

Using general profile