Login / Signup
Kee Kiat Khor
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Test Generation
Specification Language
Symbolic Execution
Simulated Annealing Algorithm
Top Venues
SERE (Companion)
</>
Publications
</>
Chao-Chun Yeh
,
Han-Lin Lu
,
Chun-Yen Chen
,
Kee Kiat Khor
,
Shih-Kun Huang
CRAXDroid: Automatic Android System Testing by Selective Symbolic Execution.
SERE (Companion)
(2014)