Travelled to:1 × France
1 × Italy
3 × USA
Collaborated with:S.Jeong N.H.Lee T.H.Kim T.Kim D.W.J.Stringer-Calvert K.Song A.Han J.Yoo J.Lee Minseok Jeon H.Oh H.S.Hong I.Lee O.Sokolsky H.Ural
Talks about:test (3) context (2) data (2) construct (1) translat (1) properti (1) interact (1) independ (1) function (1) written (1)
Person: Sung Deok Cha
DBLP: Cha:Sung_Deok
Contributed to:
20152011
20032002
2002
2017Wrote 6 papers:
- SEKE-2015-SongHJC #android #generative #testing
- Generating various contexts from permissions for testing Android applications (KS, ARH, SJ, SDC), pp. 87–92.
- SEKE-2011-YooLJC #independence #named #source code
- FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs (JY, JHL, SJ, SDC), pp. 48–51.
- ICSE-2003-HongCLSU #data flow #model checking #testing
- Data Flow Testing as Model Checking (HSH, SDC, IL, OS, HU), pp. 232–243.
- SEKE-2002-LeeKC #finite #interactive #sequence chart #state machine #testing
- Construction of global finite state machine for testing task interactions written in message sequence charts (NHL, THK, SDC), pp. 369–376.
- 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.
- OOPSLA-2017-JeongJCO #analysis #context-sensitive grammar #data-driven #points-to
- Data-driven context-sensitivity for points-to analysis (SJ, MJ, SDC, HO), p. 28.