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 × 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 DBLP: Choi:Eun=Hye

Contributed to:

ICST 20152015
ICTSS 20142014
ICSE 20062006
ASE 20152015
ASE 20162016

Wrote 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.

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.