image Eun-Hye CHOI

Senior Research Scientist

Information Technology Research Institute

National Institute of Advanced Industrial Science and Technology (AIST)


  • Degree: Ph.D. Engineering (Osaka University)
  • Afflication: National Institute of Advanced Science and Technology (AIST)
  • Office Address: 1-8-31 Midorigaoka, Ikeda, Osaka 563-8577, JAPAN
  • Contact: e.choi [@]



The list is here. (You can download pdf files.)

google scholar

Research interest

Software engineering (Testing, Verification, Specification), Distributed computing

Ongoing Work

  • Combinatorial Testing, Prioritized Testing, Fault Localization
  • Test Modeling and Analysis by Mining Software Repository

Previous Work

  • Formal Specification-based Test Generation
  • Development of a Simple Specification Language for Embedded Network Systems
  • Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol
  • Model Checking Active Database Rules
  • Efficiency Analysis of Model-Based Review in Actual Software Design
  • Model Checking Class Specifications for Web Applications
  • Development of XPath-based Concurrency Control in XML Document Management
  • Design and Evaluation of k-Coteries that Maximize Availability in General Networks
  • Hierarchical Modeling and Evaluation of Distributed Systems

Curriculum Vitae


  • March 2002: Ph.D. (Graduate School of Engineering Science, Osaka University)
  • March 1999: M.E. (Graduate School of Engineering Science, Osaka University)
  • March 1997: B.E. (Dept. Information and Computer Science, Faculty of Engineering Science, Osaka University)


  • April 2004~ : Researcher, AIST
  • April 2002~ : Researcher, Research and Development Center, TOSHIBA Corporation
  • April 1999~ : Research Fellow, Japan Society for the Promotion of Science