Travelled to:1 × Austria
1 × China
1 × Spain
Collaborated with:T.Kitamura C.Artho Y.Oiwa A.Yamada A.Biere H.Furusawa H.Watanabe M.Seidl Q.Gros A.Mori R.Ramler Y.Yamagata
Talks about:test (4) combinatori (2) design (2) model (2) base (2) unsatisfi (1) increment (1) softwar (1) priorit (1) generat (1)
Person: Eun-Hye Choi
DBLP: Choi:Eun=Hye
Contributed to:
2015
2014
2006
20152016Wrote 6 papers:
- ICST-2015-YamadaKACOB #combinator #incremental #optimisation #satisfiability #testing
- Optimization of Combinatorial Testing by Incremental SAT Solving (AY, TK, CA, EHC, YO, AB), pp. 1–10.
- ICTSS-2014-ChoiKAO #design #testing
- Design of Prioritized N-Wise Testing (EHC, TK, CA, YO), pp. 186–191.
- ICSE-2006-FurusawaCW #analysis #design #modelling #overview #performance
- Efficiency analysis of model-based review in actual software design (HF, EHC, HW), pp. 604–607.
- ASE-2015-ArthoSGCKMRY #api #modelling #testing
- Model-Based Testing of Stateful APIs with Modbat (CA, MS, QG, EHC, TK, AM, RR, YY), pp. 858–863.
- ASE-2016-YamadaBAKC #combinator #generative #satisfiability #testing #using
- Greedy combinatorial test case generation using unsatisfiable cores (AY, AB, CA, TK, EHC), pp. 614–624.