Skip to content

Masahiro Sakai

  • Reseacher
  • Corporate Research & Development Center, Toshiba Corporation
  • 14PublicationsNumber of items in Masahiro's My Publications folder on Mendeley.
  • 5Followers

Research interests

Constraint SolverLogicCategory TheoryFunctional ProgrammingSoftware Verification

About

CiteULike: http://www.citeulike.org/user/msakai/ Twitter: http://twitter.com/masahiro_sakai Blog: http://msakai.jp/d/

Groups

Followers (5)

Following (4)

Publications (5)

  • PLC言語向け モデルベーステスト技術

    • Maruchi K
    • Shin H
    • Sakai M
    N/AReaders
    N/ACitations
  • 仕様発掘の動向と目指すべき方向性 (Trends and Future Goals of Specification Mining)

    • Imai T
    • Sakai M
    • Endoh Y
    • et al.
    N/AReaders
    N/ACitations
  • 仮想的なタグを用いた共用体入りプログラムの事前条件推定

    • Imai T
    • Sakai M
    • Endoh Y
    • et al.
    N/AReaders
    N/ACitations
  • 特徴語抽出を用いたテストケース-モジュール間対応抽出方法 (Extracting a relation between test cases and modules by using important word analysis)

    • Endoh Y
    • Sakai M
    • Imai T
    • et al.
    N/AReaders
    N/ACitations
  • C言語プログラム検証フレームワーク

    • Sakai M
    • Imai T
    • Kataoka Y
    N/AReaders
    N/ACitations

Professional experience

Reseacher

Corporate Research & Development Center, Toshiba Corporation

April 2007 - Present

Education

Master of Media and Governance

Graduate School of Media and Governance, Keio University

April 2005 - March 2007(2 years)

Bachelor of Arts in Policy Management

Faculty of Policy Management, Keio University

April 2001 - March 2005(4 years)