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: Hong:Hyoung_Seok
Contributed to:
2005
2005
2004
2003
2002Wrote 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.