Travelled to:1 × India
1 × Portugal
1 × USA
Collaborated with:D.Brumley K.F.Sagonas A.Rebert S.K.Cha I.Jager E.J.Schwartz
Talks about:veritest (1) refactor (1) platform (1) program (1) automat (1) analysi (1) symbol (1) execut (1) erlang (1) enhanc (1)
Person: Thanassis Avgerinos
DBLP: Avgerinos:Thanassis
Contributed to:
2014
2011
2009Wrote 3 papers:
- ICSE-2014-AvgerinosRCB #execution #symbolic computation
- Enhancing symbolic execution with veritesting (TA, AR, SKC, DB), pp. 1083–1094.
- CAV-2011-BrumleyJAS #analysis #framework #named #platform
- BAP: A Binary Analysis Platform (DB, IJ, TA, EJS), pp. 463–469.
- PPDP-2009-SagonasA #automation #erlang #refactoring #source code
- Automatic refactoring of Erlang programs (KFS, TA), pp. 13–24.