Automated Test Generation from Vulnerability Signatures. - Abdulbaki Aydin; Muath Alkhalaf; Tevfik Bultan (ICST, 2014)

Semantic differential repair for input validation and sanitization. - Muath Alkhalaf; Abdulbaki Aydin; Tevfik Bultan (ISSTA, 2014)

Automata-Based Model Counting for String Constraints. - Abdulbaki Aydin; Lucas Bang; Tevfik Bultan (CAV (1), 2015)

Automatically computing path complexity of programs. - Lucas Bang; Abdulbaki Aydin; Tevfik Bultan (ESEC/SIGSOFT FSE, 2015)

String analysis for side channels with segmented oracles. - Lucas Bang; Abdulbaki Aydin; Quoc-Sang Phan; Corina S. Pasareanu; Tevfik Bultan (SIGSOFT FSE, 2016)

String Analysis for Software Verification and Security. - Tevfik Bultan; Fang Yu 001; Muath Alkhalaf; Abdulbaki Aydin (Springer, 2017)

Visual Configuration of Mobile Privacy Policies. - Abdulbaki Aydin; David Piorkowski; Omer Tripp; Pietro Ferrara 001; Marco Pistoia (FASE, 2017)

Constraint normalization and parameterized caching for quantitative program analysis. - Tegan Brennan; Nestan Tsiskaridze; Nicolás Rosner; Abdulbaki Aydin; Tevfik Bultan (ESEC/SIGSOFT FSE, 2017)

Automata-based Model Counting String Constraint Solver for Vulnerability Analysis. - Abdulbaki Aydin (2017)

Parameterized model counting for string and numeric constraints. - Abdulbaki Aydin; William Eiers; Lucas Bang; Tegan Brennan; Miroslav Gavrilov; Tevfik Bultan; Fang Yu 001 (ESEC/SIGSOFT FSE, 2018)