Travelled to:1 × Austria
1 × Ireland
1 × South Korea
1 × Spain
Collaborated with:∅ T.Kitamura C.Artho E.Choi K.Suzaki T.Yagi A.Tanaka E.Shibayama A.Yamada A.Biere
Talks about:test (3) combinatori (1) increment (1) implement (1) rollback (1) protocol (1) virtual (1) priorit (1) memori (1) mechan (1)
Person: Yutaka Oiwa
DBLP: Oiwa:Yutaka
Contributed to:
2015
2014
2014
2009Wrote 4 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.
- SAC-2014-SuzakiYTOS #protocol #testing #virtual machine
- Rollback mechanism of nested virtual machines for protocol fuzz testing (KS, TY, AT, YO, ES), pp. 1484–1491.
- PLDI-2009-Oiwa #compilation #implementation
- Implementation of the memory-safe full ANSI-C compiler (YO), pp. 259–269.