Travelled to:1 × Italy
Collaborated with:A.Roychoudhury M.Böhme W.B.Ng K.Rubinov S.Khurana S.Roy
Talks about:binari (2) whitebox (1) reproduc (1) program (1) analysi (1) symbol (1) hercul (1) bucket (1) applic (1) world (1)
Person: Van-Thuan Pham
DBLP: Pham:Van=Thuan
Contributed to:
2015
2016
2017Wrote 3 papers:
- ICSE-v1-2015-PhamNRR #named
- Hercules: Reproducing Crashes in Real-World Application Binaries (VTP, WBN, KR, AR), pp. 891–901.
- ASE-2016-PhamBR #fuzzing #modelling
- Model-based whitebox fuzzing for program binaries (VTP, MB, AR), pp. 543–553.
- FASE-2017-PhamKRR #analysis #testing
- Bucketing Failing Tests via Symbolic Analysis (VTP, SK, SR, AR), pp. 43–59.