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 × Canada
1 × Spain
Collaborated with:
C.Artho E.Choi Y.Oiwa A.Yamada A.Biere L.Fang T.B.N.Do H.Ohsaki M.Seidl Q.Gros A.Mori R.Ramler Y.Yamagata
Talks about:
test (5) combinatori (2) model (2) base (2) unsatisfi (1) increment (1) multicor (1) priorit (1) generat (1) autosar (1)

Person: Takashi Kitamura

DBLP DBLP: Kitamura:Takashi

Contributed to:

ICST 20152015
ICTSS 20142014
ICST 20122012
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.
ICST-2012-FangKDO #formal method #manycore #modelling
Formal Model-Based Test for AUTOSAR Multicore RTOS (LF, TK, TBND, HO), pp. 251–259.
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.