メンバー紹介 - Setiadi,T.E., Ohsuga,A., and Maekawa,M.: Efficient Test Case Generation for Detecting Race Conditions, IAENG International Journal of Computer Science, Vol.41, No.2, pp.112-130 (2014.5)