Travelled to:1 × USA
Collaborated with:P.Godefroid R.Singh S.Shoham E.Yahav H.Yang
Talks about:learn (2) fuzz (2) automata (1) symbol (1) static (1) specif (1) machin (1) input (1) mine (1)
Person: Hila Peleg
DBLP: Peleg:Hila
Contributed to:
2013
2017Wrote 2 papers:
- SAS-2013-PelegSYY #automaton #mining #specification
- Symbolic Automata for Static Specification Mining (HP, SS, EY, HY), pp. 63–83.
- ASE-2017-GodefroidPS #fuzzing #machine learning
- Learn&Fuzz: machine learning for input fuzzing (PG, HP, RS), pp. 50–59.