Abdulbaki Aydin

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 6

Top Topics

Semantic Caching

Privacy Policies

Quantitative Measures

Top Venues

ESEC/SIGSOFT FSE

University of California, Santa Barbara, USA (PHD)

Education History

University of California, Santa Barbara, USA

PHD

Publications

Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu
Parameterized model counting for string and numeric constraints. ESEC/SIGSOFT FSE (2018)
Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia
Visual Configuration of Mobile Privacy Policies. FASE (2017)
Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, Tevfik Bultan
Constraint normalization and parameterized caching for quantitative program analysis. ESEC/SIGSOFT FSE (2017)
Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan
String analysis for side channels with segmented oracles. SIGSOFT FSE (2016)
Abdulbaki Aydin, Lucas Bang, Tevfik Bultan
Automata-Based Model Counting for String Constraints. CAV (1) (2015)
Lucas Bang, Abdulbaki Aydin, Tevfik Bultan
Automatically computing path complexity of programs. ESEC/SIGSOFT FSE (2015)
Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan
Automated Test Generation from Vulnerability Signatures. ICST (2014)
Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan
Semantic differential repair for input validation and sanitization. ISSTA (2014)