BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × New Zealand
1 × Switzerland
4 × USA
Collaborated with:
T.Bultan F.Yu A.Aydin J.L.Gallegos S.R.Choudhary M.Fazzini A.Orso C.Krügel
Talks about:
string (4) analysi (3) vulner (3) valid (3) input (3) differenti (2) signatur (2) automata (2) generat (2) client (2)

Person: Muath Alkhalaf

DBLP DBLP: Alkhalaf:Muath

Contributed to:

ICST 20142014
ISSTA 20142014
ICSE 20122012
ISSTA 20122012
ICSE 20112011
TACAS 20102010
ASE 20092009

Wrote 7 papers:

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.
ICSE-2012-AlkhalafBG #analysis #string #using #validation #verification
Verifying client-side input validation functions using string analysis (MA, TB, JLG), pp. 947–957.
ISSTA-2012-AlkhalafCFBOK #analysis #consistency #difference #named #nondeterminism #string #validation
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies (MA, SRC, MF, TB, AO, CK), pp. 56–66.
ICSE-2011-YuAB #synthesis
Patching vulnerabilities with sanitization synthesis (FY, MA, TB), pp. 251–260.
TACAS-2010-YuAB #analysis #named #php #string
Stranger: An Automata-Based String Analysis Tool for PHP (FY, MA, TB), pp. 154–157.
ASE-2009-YuAB #analysis #generative #source code #string #using
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses (FY, MA, TB), pp. 605–609.
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.