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 × Austria
1 × Canada
1 × France
1 × Hungary
1 × USA
Collaborated with:
H.Ural I.Lee O.Sokolsky S.D.Cha
Talks about:
test (5) model (3) check (3) abstract (2) generat (2) depend (2) slice (2) flow (2) data (2) base (2)

Person: Hyoung Seok Hong

DBLP DBLP: Hong:Hyoung_Seok

Contributed to:

SCAM 20052005
TestCom 20052005
FATES 20042004
ICSE 20032003
TACAS 20022002

Wrote 5 papers:

SCAM-2005-HongLS #abstract interpretation #approach #model checking #slicing
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking (HSH, IL, OS), pp. 25–34.
TestCom-2005-HongU #data flow #dependence #testing
Dependence Testing: Extending Data Flow Testing with Control Dependence (HSH, HU), pp. 23–39.
FATES-2004-HongU #cost analysis #generative #model checking #testing #using
Using Model Checking for Reducing the Cost of Test Generation (HSH, HU), pp. 110–124.
ICSE-2003-HongCLSU #data flow #model checking #testing
Data Flow Testing as Model Checking (HSH, SDC, IL, OS, HU), pp. 232–243.
TACAS-2002-HongLSU #generative #logic #test coverage
A Temporal Logic Based Theory of Test Coverage and Generation (HSH, IL, OS, HU), pp. 327–341.

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.