Travelled to:1 × Canada
1 × Italy
1 × South Africa
Collaborated with:J.S.Foster Y.P.Khoo M.Hicks E.Reisner C.Song A.Porter
Talks about:symbol (2) understand (1) properti (1) encapsul (1) configur (1) behavior (1) softwar (1) system (1) execut (1) direct (1)
Person: Kin-Keung Ma
DBLP: Ma:Kin=Keung
Contributed to:
2011
2010
2007Wrote 3 papers:
- SAS-2011-MaKFH #execution #symbolic computation
- Directed Symbolic Execution (KKM, YPK, JSF, MH), pp. 95–111.
- ICSE-2010-ReisnerSMFP #behaviour #configuration management #evaluation #symbolic computation #using
- Using symbolic evaluation to understand behavior in configurable software systems (ER, CS, KKM, JSF, AP), pp. 445–454.
- OOPSLA-2007-MaF #alias #encapsulation #java
- Inferring aliasing and encapsulation properties for java (KKM, JSF), pp. 423–440.