Tevfik Bultan - ESEC/FSE 2018

Registered user since Mon 23 May 2016

Name:Tevfik Bultan

Affiliation:University of California, Santa Barbara

Contributions

ESEC/FSE 2018	Committee Member in Program Committee within the Research Papers-track Session Chair of Testing II (part of Research Papers) Parameterized Model Counting for String and Numeric Constraints
JPF 2018	Attack Synthesis for Strings using Meta-Heuristics Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile