• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

TSUCHIYA TATSUHIRO  土屋 達弘

ORCIDConnect your ORCID iD *help
… Alternative Names

Tsuchiya Tatsuhiro  土屋 達弘

TSUCHIYA Tatsuhiro  土屋 達弘

土屋 達弘  ツチヤ タツヒロ

Less
Researcher Number 30283740
Other IDs
External Links
Affiliation (Current) 2022: 大阪大学, 大学院情報科学研究科, 教授
Affiliation (based on the past Project Information) *help 2015 – 2021: 大阪大学, 情報科学研究科, 教授
2012 – 2013: 大阪大学, 情報科学研究科, 教授
2011: 大阪大学, 情報科学研究科, 准教授
2008 – 2010: Osaka University, 大学院・情報科学研究科, 准教授
2007: Osaka University, 情報科学研究科, 准教授 … More
2006: 大阪大学, 大学院情報科学研究科, 助教授
2006: 阪大, 情報科学研究科, 助教授
2005: 大阪大学, 大学院・情報科学研究科, 助教授
2002: 大阪大学, 大学院・情報科学研究科, 助教授
2000 – 2001: 大阪大学, 大学院・基礎工学研究科, 講師
1999: 大阪大学, 大学院・基礎工学研究科, 助手
1997: 大阪大学, 大学院・基礎工学研究科, 助手 Less
Review Section/Research Field
Principal Investigator
Science and Engineering / Software / 計算機科学 / Software / The Information Society and Trust / Basic Section 60050:Software-related
Except Principal Investigator
情報通信工学 / Intensification of Artifact Systems / Basic Section 60050:Software-related
Keywords
Principal Investigator
ソフトウェアテスト / 記号モデル検査 / 充足可能性判定 / 設計誤り / 機能競合 / 並行性 / 組み合わせテスト / モデル検査 / カバレッジ / テスト … More / 分散システム / 相互排除問題 / クォーラム / コテリー / 信頼性 / 相互排除 / ネットワーク / クォーラムシステム / ビザンチン故障 / ビザンチンクォーラムシステム / データ多重化 / 可用性 / 改竄 / 安全性 / ペアワイズ法 / 全ペア法 / 組合わせテスト / JUnit / 仕様記述 / 仕様検証 / 分散アルゴリズム / 全ペアテスト / ブラックボックステスト / ホワイトボックステスト / 組み合わせインタラクションテスト / ロケーティングアレイ / ソフトウェア工学 / ブロックチェーン / 形式検証 / コンセンサス / スマートコントラクト / グラフデータベース / グラフクエリ / テストカバレッジ … More
Except Principal Investigator
自己適応 / CPS / サービス競合 / 拡張有限状態機械 / 検出 / 解決 / 正常状態 / 異常状態 / 通信サービス / 競合 / ペトリネット / インバリアント / 状態爆発 / 非決定性 / feature interaction / extend finite state machine / detection / resolution / normal state / abnormal state / 人工物システム / 適応性 / 自己適応システム / ソフトウェア工学 / プログラミングフレームワーク / 超能動型CPS / ロボット / 組み込みシステム / 時間制約 / 不確かさ / 開発環境 Less
  • Research Projects

    (14 results)
  • Research Products

    (82 results)
  • Co-Researchers

    (7 People)
  •  A Study on Self-adaptation Mechanism Under Time Constraints

    • Principal Investigator
      中川 博之
    • Project Period (FY)
      2020 – 2023
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Osaka University
  •  グラフデータベースをバックエンドとするソフトウェアに対するテスト手法の確立Principal Investigator

    • Principal Investigator
      土屋 達弘
    • Project Period (FY)
      2020 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Osaka University
  •  形式検証によるスマートコントラクトとその実行基盤に対するトラスタビリティの実現Principal Investigator

    • Principal Investigator
      土屋 達弘
    • Project Period (FY)
      2018 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      The Information Society and Trust
    • Research Institution
      Osaka University
  •  A Study on Super Active CPS for Enhancing Adaptability of Artifacts

    • Principal Investigator
      中川 博之
    • Project Period (FY)
      2017 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intensification of Artifact Systems
    • Research Institution
      Osaka University
  •  Practical combinatorial interaction testing with fault locating capabilityPrincipal Investigator

    • Principal Investigator
      Tsuchiya Tatsuhiro
    • Project Period (FY)
      2015 – 2017
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Osaka University
  •  Effective software testing using all-pairs testingPrincipal Investigator

    • Principal Investigator
      TSUCHIYA Tatsuhiro
    • Project Period (FY)
      2011 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Osaka University
  •  Model Checking of Fault-Tolerant Algorithms for the Dependability of Distributed SystemsPrincipal Investigator

    • Principal Investigator
      TSUCHIYA Tatsuhiro
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      Osaka University
  •  分散環境におけるディペンダブル情報システム実現のためのテスト・検証アプローチPrincipal Investigator

    • Principal Investigator
      土屋 達弘
    • Project Period (FY)
      2006
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Osaka University
  •  高信頼ソフトウェアを実現する強力なテストケース生成手法の開発Principal Investigator

    • Principal Investigator
      土屋 達弘
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      Osaka University
  •  設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発Principal Investigator

    • Principal Investigator
      土屋 達弘
    • Project Period (FY)
      2002
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Osaka University
  •  設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発Principal Investigator

    • Principal Investigator
      土屋 達弘
    • Project Period (FY)
      2001
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (C)
    • Review Section
      Science and Engineering
    • Research Institution
      Osaka University
  •  悪意ある攻撃に対してデータの安全性を保障する高信頼多重化データ管理方式の研究Principal Investigator

    • Principal Investigator
      土屋 達弘
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  分散システムにおける相互排除機構の高信頼化に関する研究Principal Investigator

    • Principal Investigator
      土屋 達弘
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  Modeling and Resolution of Feature Interactions in Multimedia Networks

    • Principal Investigator
      KAKUDA Yoshiaki
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      情報通信工学
    • Research Institution
      Hiroshima City University
      Osaka University

All 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005

All Journal Article Presentation Book

  • [Book] ディペンダブルシステム-高信頼システム実現のための耐故障・検証・テスト技術-2005

    • Author(s)
      米田友洋, 梶原誠司, 土屋達弘
    • Total Pages
      243
    • Publisher
      共立出版
    • Data Source
      KAKENHI-PROJECT-17700033
  • [Journal Article] トレーサビリティリンク生成における自然言語処理モデルの性能比較2021

    • Author(s)
      新田壮史,中川博之,土屋達弘
    • Journal Title

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ,信学技報KBSE

      Volume: KBSE2020-34 Pages: 1-6

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] 逐次プログラムのテストによる分散フォールトトレラントアルゴリズムのバグ検出2021

    • Author(s)
      土屋達弘
    • Journal Title

      信学技報

      Volume: 120, SS2020-40 Pages: 73-77

    • Data Source
      KAKENHI-PROJECT-18KT0098
  • [Journal Article] Interactive Goal Model Construction Based on a Flow of Questions2020

    • Author(s)
      NAKAGAWA Hiroyuki、SHIMADA Hironori、TSUCHIYA Tatsuhiro
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E103.D Issue: 6 Pages: 1309-1318

    • DOI

      10.1587/transinf.2019kbp0015

      10.1587/transinf.2019KBP0015

    • NAID

      130007850091

    • ISSN
      0916-8532, 1745-1361
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229
  • [Journal Article] 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討2020

    • Author(s)
      有若新悟, 中川博之, 土屋達弘
    • Journal Title

      信学技報

      Volume: IEICE-KBSE2020-25 Pages: 53-58

    • Data Source
      KAKENHI-PROJECT-20K11747
  • [Journal Article] An Automated Goal Labeling Method Based on User Reviews2020

    • Author(s)
      Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020)

      Volume: - Pages: 141-146

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Finding minimum locating arrays using a CSP solver2020

    • Author(s)
      Konishi Tatsuya、Kojima Hideharu、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • Journal Title

      Fundamenta Informaticae

      Volume: 174 Pages: 27-42

    • DOI

      10.3233/fi-2020-1929

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229
  • [Journal Article] 要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討2020

    • Author(s)
      有若新悟,中川博之,土屋達弘
    • Journal Title

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ,信学技報KBSE

      Volume: KBSE2020-25 Pages: 53-58

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Using simulated annealing for locating array construction2020

    • Author(s)
      Konishi Tatsuya、Kojima Hideharu、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • Journal Title

      Information and Software Technology

      Volume: 126 Pages: 106346-106346

    • DOI

      10.1016/j.infsof.2020.106346

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229
  • [Journal Article] An Explainable Deep Learning Approach for Adaptation Space Reduction2020

    • Author(s)
      Diallo Alhassan Boner、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • Journal Title

      Proc. of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS 2020)

      Volume: - Pages: 230-231

    • DOI

      10.1109/acsos-c51401.2020.00063

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Opinion Analysis and Organization of Mobile Application User Reviews2020

    • Author(s)
      Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the Third Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2020)

      Volume: - Pages: 1-9

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] 遺伝的プログラミングを用いた施設レイアウト自動生成の検討2020

    • Author(s)
      花田響四郎,中川博之,関本章,赤木宏匡,土屋達弘
    • Journal Title

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      Volume: 信学技報KBSE2019-46 Pages: 1-6

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Using simulated annealing for locating array construction2019

    • Author(s)
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      arXiv

      Volume: 1909.13090 Pages: 1-23

    • Open Access
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] 自己適応システムの動的検証法の高速化に関する研究2019

    • Author(s)
      妙見侑祐,中川博之,土屋達弘
    • Journal Title

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      Volume: 信学技報KBSE2018-66 Pages: 75-80

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Towards Real-time Self-adaptation Using a Verification Mechanism2019

    • Author(s)
      Hiroyuki Nakagawa, Hiroki Tsuda, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)

      Volume: WiP Pages: 10-12

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models2019

    • Author(s)
      Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
    • Journal Title

      The Journal of Systems & Software

      Volume: 156 Pages: 300-311

    • DOI

      10.1016/j.jss.2019.07.007

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229
  • [Journal Article] 文書間の類似度に基づいたトレーサビリティリンクの精度向上手法の検討2019

    • Author(s)
      東和幸,中川博之,土屋達弘
    • Journal Title

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      Volume: 信学技報KBSE2019-27, SC2019-24 Pages: 25-30

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] A Method of Refining Topic Models Based on Term and Document Frequencies.2019

    • Author(s)
      東和幸,高橋仁,中川博之,土屋達弘
    • Journal Title

      Computer Software

      Volume: Vol. 36 No.4 Issue: 4 Pages: 25-31

    • DOI

      10.11309/jssst.36.4_25

    • NAID

      130007772583

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-18H03229
  • [Journal Article] Finding minimum locating arrays using a CSP solver2019

    • Author(s)
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      arXiv

      Volume: 1904.07480 Pages: 1-16

    • Open Access
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Goal Model Construction Based on User Review Classification2019

    • Author(s)
      Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the 25th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019) (Poster session)

      Volume: - Pages: 1-5

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] A Framework for Updating Functionalities Based on the MAPE Loop Mechanism2018

    • Author(s)
      Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the 42nd IEEE Computer Software and Applications Conference (COMPSAC 2018)

      Volume: - Pages: 38-47

    • DOI

      10.1109/compsac.2018.00014

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Document Frequencyと単語類似度に基づいたストップワード自動作成手法の検討2018

    • Author(s)
      東和幸,中川博之,土屋達弘
    • Journal Title

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      Volume: 信学技報KBSE2018-38 Pages: 59-64

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules2018

    • Author(s)
      Shimada Hironori、Nakagawa Hiroyuki、Tsuchiya Tatsuhiro
    • Journal Title

      Proc. of the 4th Asia Pacific Requirements Engineering Symposium (APRES 2017)

      Volume: - Pages: 175-188

    • DOI

      10.1007/978-981-10-7796-8_14

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-15K00097
  • [Journal Article] MAPEループを用いたIoTデバイスの効率的な再利用法の検討2018

    • Author(s)
      土田真也,中川博之,土屋達弘
    • Journal Title

      ウィンターワークショップ2018・イン・宮島(WWS2018)

      Volume: - Pages: 74-75

    • NAID

      170000176299

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] 組み込みシステムに対する安全な機能追加手法の考察2018

    • Author(s)
      土田真也,中川博之,土屋達弘
    • Journal Title

      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)

      Volume: 信学技報KBSE2018-18 Pages: 43-48

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] ゴールモデルのコンテキストに注目した効率的なモデル検査2018

    • Author(s)
      本田大雅,小島英春,中川博之,土屋達弘
    • Journal Title

      ソフトウェアエンジニアリングシンポジウム(SES2018)

      Volume: - Pages: 229-235

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] A Requirements Coverage Visualization Approach Based on Document Similarities2018

    • Author(s)
      松井 勝利、中川 博之、土屋 達弘
    • Journal Title

      Computer Software

      Volume: 35 Issue: 1 Pages: 1_67-1_75

    • DOI

      10.11309/jssst.35.1_67

    • NAID

      130006555543

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-15K00097
  • [Journal Article] ユーザレビューに基づいたゴールモデル構築手法の検討2018

    • Author(s)
      島田裕紀,中川博之,土屋達弘
    • Journal Title

      ソフトウェア工学の基礎ワークショップ FOSE 2018

      Volume: - Pages: 119-128

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms2017

    • Author(s)
      Teru Ohashi, Tatsuhiro Tsuchiya
    • Journal Title

      Proceedings of 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'17)

      Volume: - Pages: 78-85

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15K00098
  • [Journal Article] Data access control for energy-related services in smart public infrastructures2017

    • Author(s)
      Kawada Yohei、Yano Kojin、Mizuno Yoshihiro、Tsuchiya Tatsuhiro、Fujisaki Yasumasa
    • Journal Title

      omputers in Industry

      Volume: 88 Pages: 35-43

    • DOI

      10.1016/j.compind.2017.03.002

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Finding Minimum Locating Arrays Using a SAT Solver2017

    • Author(s)
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      Proceedings of 10th IEEE International Conference on Software Testing, Verification and Validation Workshops

      Volume: - Pages: 276-277

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15K00098
  • [Journal Article] Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry2017

    • Author(s)
      Nakagawa Hiroyuki、Hasegawa Toshinobu、Matsui Shori、Tsuchiya Tatsuhiro
    • Journal Title

      Proc. of the IEEE 28th International Symposium on Software Reliability Engineering (ISSRE 2017), (Industry track)

      Volume: - Pages: 77-80

    • DOI

      10.1109/issrew.2017.19

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-15K00097
  • [Journal Article] ばねモデルに基づいた要求カバレッジ可視化ビューアの構築2017

    • Author(s)
      松井勝利,中川博之,土屋達弘
    • Journal Title

      ソフトウェア工学の基礎ワークショップ FOSE 2017

      Volume: - Pages: 43-52

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] Constrained locating arrays for combinatorial interaction testing2017

    • Author(s)
      Hao Jin, Tatsuhiro Tsuchiya
    • Journal Title

      arxiv

      Volume: - Pages: 1-12

    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Journal Article] A Visualization of Specification Coverage Based on Document Similarity2017

    • Author(s)
      Nakagawa Hiroyuki、Matsui Shori、Tsuchiya Tatsuhiro
    • Journal Title

      Proc. of the 39th International Conference on Software Engineering (ICSE 2017), Poster session

      Volume: - Pages: 136-138

    • DOI

      10.1109/icse-c.2017.117

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17KT0043, KAKENHI-PROJECT-15K00097
  • [Journal Article] ソフトウェアテストと安全性2016

    • Author(s)
      土屋達弘
    • Journal Title

      信頼性学会誌「信頼性」

      Volume: 38 Pages: 80-85

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15K00098
  • [Journal Article] Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints2012

    • Author(s)
      Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno,
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E95-A Pages: 1501-1505

    • NAID

      10031142535

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Journal Article] Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints2012

    • Author(s)
      Toru Namba, Tatsuhiro Tsuchiya, Tohru Kikuno
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E95-A Issue: 9 Pages: 1501-1505

    • DOI

      10.1587/transfun.e95.a.1501

      10.1587/transfun.E95.A.1501

    • NAID

      10031142535

    • ISSN
      0916-8508, 1745-1337
    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Journal Article] Andre Schiper, Verification of Consensus Algorithms Using Satisfiability Solving2011

    • Author(s)
      Tatsuhiro Tsuchiya
    • Journal Title

      Distributed Computing 23

      Pages: 341-358

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700026
  • [Journal Article] Verification of Consensus Algorithms Using Satisfiability Solving2011

    • Author(s)
      Tatsuhiro Tsuchiya, Andre Schiper
    • Journal Title

      Distributed Computing

      Volume: (印刷中)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700026
  • [Journal Article] Constructing Test Sets for Pairwise Testing: A SAT-Based Approach2011

    • Author(s)
      Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
    • Journal Title

      Proc. of 2011 Second International Conference on Networking and Computing

      Volume: 1 Pages: 271-274

    • DOI

      10.1109/icnc.2011.49

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Journal Article] Towards Automated Verification of Distributed Consensus Protocols2009

    • Author(s)
      Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
    • Journal Title

      Proceedings of 16th Asia-Pacific Software Enginee ring Conference (APSEC 2009)

      Pages: 499-506

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700026
  • [Journal Article] Towards Automated Verification of Distributed Consensus Protocols2009

    • Author(s)
      Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
    • Journal Title

      Proceedings of 16th Asia-Pacific Software Engineering Conference (APSEC 2009)

      Pages: 499-506

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700026
  • [Journal Article] Andre Schiper, Using Bounded Model Checking to Verify Consensus Algorithms2008

    • Author(s)
      Tatsuhiro Tsuchiya
    • Journal Title

      Lecture Note on Computer Science 5218

      Pages: 466-480

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700026
  • [Journal Article] Tohru Kikuno, Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms2008

    • Author(s)
      Takahiro Minamikawa, Tatsuhiro Tsuchiya
    • Journal Title

      Proceedings of 11th International Symposium on Pacific Rim Dependable Computing

      Pages: 40-47

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700026
  • [Journal Article] Using Bounded Model Checking to Verify Consensus Algorithms2008

    • Author(s)
      Tatsuhiro Tsuchiya, Andre Schiper
    • Journal Title

      Lecture Note on Computer Science 5218

      Pages: 466-480

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700026
  • [Journal Article] Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms2008

    • Author(s)
      Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
    • Journal Title

      Proceedings of 11th International Symposium on Pacific Rim Dependable Computing

      Pages: 40-47

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20700026
  • [Journal Article] ペアワイズテストーソフトウェアテストの効率化を求めて2007

    • Author(s)
      土屋達弘, 菊野亨
    • Journal Title

      電子情報通信学会論文誌D J90-D, 10

      Pages: 26632674-26632674

    • NAID

      110007380575

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17700033
  • [Journal Article] テスト実行コストを考慮したペアワイズテストセット生成法の提案,2007

    • Author(s)
      紀本眞, 土屋達弘, 菊野亨
    • Journal Title

      電子情報通信学会技術研究報告 107,255

      Pages: 4750-4750

    • NAID

      110006452280

    • Data Source
      KAKENHI-PROJECT-17700033
  • [Journal Article] Model Checking Active Database Rules under Various Rule Processing Strategies2006

    • Author(s)
      Eun-Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
    • Journal Title

      情報処理学会論文誌(トランザクション)データベース 47・SIG19

      Pages: 14-27

    • NAID

      130000022278

    • Data Source
      KAKENHI-PROJECT-17700033
  • [Journal Article] Describing and Verifying Integrated Services of Home Network Systems2005

    • Author(s)
      P.Leelaprute, M.Nakamura, T.Tsuchiya, K.Matsumoto, T.Kikuno
    • Journal Title

      Proc.10th Asia-Pacific Software Engineering Conference (APSEC2005) ISSN:1530-1362

      Pages: 549-558

    • NAID

      120006693741

    • Data Source
      KAKENHI-PROJECT-17700033
  • [Presentation] Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models2020

    • Author(s)
      Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
    • Organizer
      The 41st IEEE Real-Time Systems Symposium (RTSS 2020), (Journal presentation)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] 深層学習を用いた鳥行動に基づく追い払いシステムの開発2019

    • Author(s)
      小林一樹,下林史弥,寺田和憲,吉河武文,佐藤寛之,土屋博之,Atchariyachanvanich Kanokwan
    • Organizer
      第33回人工知能学会全国大会
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] 焼きなまし法によるロケーティングアレイの生成2018

    • Author(s)
      小西達也,小島英春,中川博之,土屋達弘
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会(DC)
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] MAPEループ構造に基づいた機能更新フレームワークに関する考察2018

    • Author(s)
      土田真也,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] 時間制約を考慮可能な自己適応システム実装フレームワークの検討2018

    • Author(s)
      津田宏軌,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] ブール論理に基づく,情報システムのテスト・検証のためのアプローチ2018

    • Author(s)
      土屋達弘
    • Organizer
      人工知能学会人工知能基本問題研究会 (SIG-FPAI)
    • Invited
    • Data Source
      KAKENHI-PROJECT-15K00098
  • [Presentation] 質問フローに基づくゴールモデル構築手法の提案2018

    • Author(s)
      島田裕紀,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] SATソルバを使用したロケーティングアレイの生成手法について2017

    • Author(s)
      小西達也,小島英春,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 システム数理と応用研究会(SIG-MSS)
    • Data Source
      KAKENHI-PROJECT-15K00098
  • [Presentation] 焼きなまし法によるロケーティングアレイの生成2017

    • Author(s)
      小西達也,小島英春,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 ディペンダブルコンピューティング研究会(SIG-DC)
    • Data Source
      KAKENHI-PROJECT-15K00098
  • [Presentation] SMTを用いた制約付きロケーティングアレイの生成について2017

    • Author(s)
      金浩, 崔銀惠, 土屋達弘
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会(DC)
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] SATソルバを使用したロケーティングアレイの生成手法について2017

    • Author(s)
      小西達也,小島英春,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 システム数理と応用研究会(SIG-MSS)
    • Data Source
      KAKENHI-PROJECT-17KT0043
  • [Presentation] ZDDアルゴリズムを用いた高強度テストケース生成法2016

    • Author(s)
      大橋輝,土屋達弘
    • Organizer
      電子情報通信学会 ディペンダビリティコンピューティング研究会
    • Place of Presentation
      彦根勤労福祉会館(彦根市)
    • Year and Date
      2016-10-27
    • Data Source
      KAKENHI-PROJECT-15K00098
  • [Presentation] 貪欲法による組み合わせテスト集合生成における高速化について2015

    • Author(s)
      大橋 輝,土屋達弘
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東大寺総合文化センター,奈良市
    • Year and Date
      2015-10-13
    • Data Source
      KAKENHI-PROJECT-15K00098
  • [Presentation] 組み合わせテスト集合生成におけるテストケース候補数の最適化について2015

    • Author(s)
      大橋 輝,土屋達弘
    • Organizer
      第14回情報科学技術フォーラム
    • Place of Presentation
      愛媛大学,松山市
    • Year and Date
      2015-09-15
    • Data Source
      KAKENHI-PROJECT-15K00098
  • [Presentation] ソフトウェアテスト用テストケース生成における2分決定図を用いた制約処理2015

    • Author(s)
      土屋達弘
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      機械振興会館,東京
    • Year and Date
      2015-06-16
    • Data Source
      KAKENHI-PROJECT-15K00098
  • [Presentation] 状態遷移テストにおけるカバレッジ基準の提案とモデル検査を用いたテストケース生成について2014

    • Author(s)
      土屋達弘,カッシア ジ ソウザ カルヴァーリョ
    • Organizer
      情報処理学会ソフトウェア工学研究会ウィンターワークショップ2014
    • Place of Presentation
      大洗
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Presentation] カッシア ジ ソウザ カルヴァーリョ, 状態遷移テストにおけるカバレッジ基準の提案とモデル検査を用いたテストケース生成について2014

    • Author(s)
      土屋達弘
    • Organizer
      報処理学会ソフトウェア工学研究会ウィンターワークショップ
    • Place of Presentation
      大洗
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Presentation] インタラクションテストにおける故障ペアを特定可能なテストケース集合生成方法の提案2014

    • Author(s)
      永元雄宙, 小島英春, 土屋達弘
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      愛知
    • Year and Date
      2014-01-31
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Presentation] A value weighting method for pair-wise testing2013

    • Author(s)
      Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya
    • Organizer
      20th Asia-Pacific Software Engineering Conference (APSEC 2013)
    • Place of Presentation
      バンコク
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Presentation] パラメータ値に対する重み付けを考慮したテストケース集合の拡張2013

    • Author(s)
      藤本哲, 小島英春, 土屋達弘
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京
    • Year and Date
      2013-04-26
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Presentation] A Value Weighting Method for Pair-Wise Testing2013

    • Author(s)
      Satoshi Fujimoto, Hideharu Kojima and Tatsuhiro Tsuchiya
    • Organizer
      20th Asia-Pacific Software Engineering Conference (APSEC 2013)
    • Place of Presentation
      bangkok
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Presentation] パラメータ値に関する制約を考慮したランダムテストの不具合検出率について2013

    • Author(s)
      重岡大樹, 小島英春, 土屋達弘
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      石垣市
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Presentation] パラメータ値に関する制約を考慮したランダムテストの不具合検出率について2013

    • Author(s)
      重岡大樹, 小島英春, 土屋達弘
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      石垣
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Presentation] SATソルバを用いたペアワイズテストの作成2012

    • Author(s)
      難波亨,土屋達弘,菊野亨
    • Organizer
      情報通信学会ソフトウェア工学研究会ウインターワークショップ2012
    • Place of Presentation
      琵琶湖コンファレンスセンター
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Presentation] パラメータ値に関する制約を考慮したランダムテストのためのテストケース生成手法2012

    • Author(s)
      田中真吾, 小島英春, 土屋達弘
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Presentation] Constructing Test Sets for Pairwise Testing : A SAT-Based Approach2011

    • Author(s)
      Toru Namba, Tatsuhiro Tsuchiya, Tohru Kikuno
    • Organizer
      2011 Second International Conference on Networking and Computing
    • Place of Presentation
      大阪
    • Data Source
      KAKENHI-PROJECT-23500046
  • [Presentation] Model Checking of Unbounded Rounds of Asynchronous Consensus Protocols2010

    • Author(s)
      Tatsuhiro Tsuchiya, Andre chiper
    • Organizer
      Workshop on Dependability of Network Software Applications 2010
    • Place of Presentation
      広島大学(広島県)
    • Year and Date
      2010-11-18
    • Data Source
      KAKENHI-PROJECT-20700026
  • [Presentation] Safety Verification of Asynchronous Consensus Algorithms Using Model Checking2009

    • Author(s)
      Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno
    • Organizer
      2nd International Workshop on Reliability, Availability, and Security (WRAS)
    • Place of Presentation
      広島大学 (広島県)
    • Year and Date
      2009-12-11
    • Data Source
      KAKENHI-PROJECT-20700026
  • [Presentation] モデル検査を用いたコンセンサスアルゴリズムの合意性検証2009

    • Author(s)
      野口達也, 土屋達弘, 菊野亨
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      機械振興会館(東京)
    • Year and Date
      2009-10-13
    • Data Source
      KAKENHI-PROJECT-20700026
  • [Presentation] Safety Verification of Asynchronous Consensus Algorithms Using Model Checking2009

    • Author(s)
      Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
    • Organizer
      2nd International Workshop on Reliability, Availability, and Security (WRAS)
    • Place of Presentation
      広島大学(広島県)
    • Year and Date
      2009-12-11
    • Data Source
      KAKENHI-PROJECT-20700026
  • [Presentation] 耐故障分散アルゴリズムに対するPROMELAモデルの生成2008

    • Author(s)
      南川恭洋, 土屋達弘, 菊野亨
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京
    • Year and Date
      2008-04-23
    • Data Source
      KAKENHI-PROJECT-20700026
  • 1.  中川 博之 (40508834)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 34 results
  • 2.  冨沢 哲雄 (60549707)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 3.  KAKUDA Yoshiaki (40233671)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  INOUE Shinji (50264932)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  小林 一樹 (00434895)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 6.  小形 真平 (10589279)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  鵜林 尚靖 (80372762)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi