Travelled to:1 × India
Collaborated with:T.Avgerinos A.Rebert D.Brumley S.K.0002 M.Faerevaag M.Jung S.Jung D.Oh J.Lee
Talks about:represent (1) intermedi (1) veritest (1) analysi (1) symbol (1) execut (1) enhanc (1) binari (1) test (1)
Person: Sang Kil Cha
DBLP: Cha:Sang_Kil
Contributed to:
2014
2017Wrote 2 papers:
- ICSE-2014-AvgerinosRCB #execution #symbolic computation
- Enhancing symbolic execution with veritesting (TA, AR, SKC, DB), pp. 1083–1094.
- ASE-2017-KimFJJOLC #analysis #testing
- Testing intermediate representations for binary analysis (SK0, MF, MJ, SJ, DO, JL, SKC), pp. 353–364.