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 × 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 DBLP: Oiwa:Yutaka

Contributed to:

ICST 20152015
ICTSS 20142014
SAC 20142014
PLDI 20092009

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

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.