Abdulbaki Aydin

According to our database, Abdulbaki Aydin authored at least 10 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Parameterized model counting for string and numeric constraints.

Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2017

Automata-based Model Counting String Constraint Solver for Vulnerability Analysis.

Abdulbaki Aydin

PhD thesis, 2017

Constraint normalization and parameterized caching for quantitative program analysis.

Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, Tevfik Bultan

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Visual Configuration of Mobile Privacy Policies.

Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia

Proceedings of the Fundamental Approaches to Software Engineering, 2017

String Analysis for Software Verification and Security.

Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

Springer, ISBN: 978-3-319-68668-4, 2017

2016

String analysis for side channels with segmented oracles.

Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

Automatically computing path complexity of programs.

Lucas Bang, Abdulbaki Aydin, Tevfik Bultan

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Automata-Based Model Counting for String Constraints.

Abdulbaki Aydin, Lucas Bang, Tevfik Bultan

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Semantic differential repair for input validation and sanitization.

Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Automated Test Generation from Vulnerability Signatures.

Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014