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: Aydin:Abdulbaki
Contributed to:
2015
2015
2014
2014
201620172018
2017Wrote 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.