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: Kitamura:Takashi
Contributed to:
2015
20142012
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.
- 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.