Travelled to:1 × Austria
1 × Germany
1 × Italy
Collaborated with:F.Wang S.Schewe C.Cheng H.Rueß S.Stattelmann J.Wu K.Chang
Talks about:test (2) program (1) generat (1) automat (1) oracl (1) model (1) evolv (1) check (1) black (1) iter (1)
Person: Chung-Hao Huang
DBLP: Huang:Chung=Hao
Contributed to:
2014
2013
2011Wrote 3 papers:
- CAV-2014-ChengHRS #automation #generative #named #source code
- G4LTL-ST: Automatic Generation of PLC Programs (CHC, CHH, HR, SS), pp. 541–549.
- TACAS-2013-HuangSW #game studies #model checking
- Model-Checking Iterated Games (CHH, SS, FW), pp. 154–168.
- FASE-2011-WangWHC #black box #evolution #testing
- Evolving a Test Oracle in Black-Box Testing (FW, JHW, CHH, KHC), pp. 310–325.