Kin-Keung Ma

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks
Directed Symbolic Execution. SAS (2011)
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, Adam A. Porter
Using symbolic evaluation to understand behavior in configurable software systems. ICSE (1) (2010)
Kin-Keung Ma, Jeffrey S. Foster
Inferring aliasing and encapsulation properties for java. OOPSLA (2007)