BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
Collaborated with:
D.W.J.Stringer-Calvert S.D.Cha M.Kim S.Hong C.Hong
Talks about:
properti (1) function (1) softwar (1) counter (1) concurr (1) specif (1) requir (1) replay (1) kernel (1) formal (1)

Person: Taeho Kim

DBLP DBLP: Kim:Taeho

Contributed to:

MBT 20092009
TACAS 20022002

Wrote 2 papers:

MBT-2009-KimHHK #concurrent #debugging #kernel #modelling #testing
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay (MK, SH, CH, TK), pp. 21–36.
TACAS-2002-KimSC #functional #requirements #specification #using #verification
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS (TK, DWJSC, SDC), pp. 205–220.

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.