BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
3 × USA
Collaborated with:
T.Bultan L.Bang M.Alkhalaf T.Brennan Q.Phan C.S.Pasareanu N.Tsiskaridze N.Rosner D.Piorkowski O.Tripp P.Ferrara M.Pistoia W.Eiers M.Gavrilov F.Yu
Talks about:
constraint (3) string (3) parameter (2) program (2) analysi (2) model (2) count (2) differenti (1) signatur (1) configur (1)

Person: Abdulbaki Aydin

DBLP DBLP: Aydin:Abdulbaki

Contributed to:

CAV 20152015
ESEC/FSE 20152015
ICST 20142014
ISSTA 20142014
FSE 20162016
ESEC/FSE 20172017
ESEC/FSE 20182018
FASE 20172017

Wrote 8 papers:

CAV-2015-AydinBB #constraints #string
Automata-Based Model Counting for String Constraints (AA, LB, TB), pp. 255–272.
ESEC-FSE-2015-BangAB #automation #complexity #source code
Automatically computing path complexity of programs (LB, AA, TB), pp. 61–72.
ICST-2014-AydinAB #automation #generative #testing
Automated Test Generation from Vulnerability Signatures (AA, MA, TB), pp. 193–202.
ISSTA-2014-AlkhalafAB #difference #semantics #validation
Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.
FSE-2016-BangAPPB #analysis #string
String analysis for side channels with segmented oracles (LB, AA, QSP, CSP, TB), pp. 193–204.
ESEC-FSE-2017-BrennanTRAB #constraints #normalisation #program analysis
Constraint normalization and parameterized caching for quantitative program analysis (TB, NT, NR, AA, TB), pp. 535–546.
ESEC-FSE-2018-AydinEBBGBY #constraints #string
Parameterized model counting for string and numeric constraints (AA, WE, LB, TB, MG, TB, FY), pp. 400–410.
FASE-2017-AydinPTFP #mobile #policy #privacy #visual notation
Visual Configuration of Mobile Privacy Policies (AA, DP, OT, PF, MP), pp. 338–355.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.