BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ma:Kin=Keung

Contributed to:

SAS 20112011
ICSE 20102010
OOPSLA 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.