Travelled to:
1 × Switzerland
Collaborated with:
M.Alkhalaf T.Bultan
Talks about:
function (1) analysi (1) verifi (1) string (1) client (1) valid (1) input (1) side (1) use (1)
Person: Jose L. Gallegos
DBLP: Gallegos:Jose_L=
Contributed to:
Wrote 1 papers:
- ICSE-2012-AlkhalafBG #analysis #string #using #validation #verification
- Verifying client-side input validation functions using string analysis (MA, TB, JLG), pp. 947–957.