Shimari Kazumasa 嶋利一真

Researcher Number	50964376
Other IDs	https://orcid.org/0000-0001-8837-5090
Affiliation (Current)	2025: 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教
Affiliation (based on the past Project Information) *help	2022 – 2024: 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / 1001:Information science, computer engineering, and related fields Except Principal Investigator Basic Section 60050:Software-related
Keywords	Principal Investigator ソフトウェア保守 / プログラム解析 / リポジトリマイニング / デバッグ / ロギング / ソフトウェア工学 / 依存関係 / 動的解析 / ソフトウェアテスト Except Principal Investigator ソフトウェア工学 … More / プログラム理解 / API / ソフトウェア進化 / ソフトウェア保守 Less

Establishment of an analytics platform for documentation of backward incompatibilities in libraries
- Principal Investigator
  
  神田哲也
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Notre Dame Seishin University
Analysis of logging configurations on output and support of their optimization based on project characteristicsPrincipal Investigator
- Principal Investigator
  
  嶋利一真
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nara Institute of Science and Technology
Rigorous and Efficient Library Compatibility Verification Method based on Runtime Information Analysis of Used FunctionsPrincipal Investigator
- Principal Investigator
  
  Shimari Kazumasa
- Project Period (FY)
  2022 – 2023
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Review Section
  
  1001:Information science, computer engineering, and related fields
- Research Institution
  Nara Institute of Science and Technology

All 2024 2023 2022

All Journal Article Presentation

[Journal Article] Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging2024
- Author(s)
  Shimari Kazumasa、Ishio Takashi、Kanda Tetsuya、Inoue Katsuro
- Journal Title
  
  Science of Computer Programming
  
  Volume: 236 Pages: 103117-103117
- DOI
  10.1016/j.scico.2024.103117
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K16862, KAKENHI-PROJECT-19K20239, KAKENHI-PROJECT-22K21279, KAKENHI-PROJECT-20H05706
[Journal Article] Data Flow Visualization using Coding Patterns of Topic Communication in ROS Applications2024
- Author(s)
  村田優斗、石尾隆、嶋利一真、松本健一
- Journal Title
  
  電子情報通信学会論文誌D 情報・システム
  
  Volume: J107-D Issue: 7 Pages: 420-423
- DOI
  10.14923/transinfj.2023JDL8011
- ISSN
  1880-4535, 1881-0225
- Year and Date
  2024-07-01
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K16862, KAKENHI-PROJECT-22K21279
[Journal Article] Reliability Evaluation Framework for Obfuscating Transformations in Program Code.2023
- Author(s)
  Tetsuya Kitaoka, Yuichiro Kanzaki, Takashi Ishio, Kazumasa Shimari, Kenichi Matsumoto
- Journal Title
  
  Computer Software
  
  Volume: 40 Issue: 4 Pages: 4_37-4_46
- DOI
  10.11309/jssst.40.4_37
- ISSN
  0289-6540
- Year and Date
  2023-10-25
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K11986, KAKENHI-PROJECT-22K21279, KAKENHI-PROJECT-20H05706
[Presentation] Pythonプログラミング演習におけるプログラミング経験度とエラー修正時間の関係分析2024
- Author(s)
  篠原遼太郎，嶋利一真，福島和希，田中慎之佑，石尾隆，松本健一
- Organizer
  第216回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-23K16862
[Presentation] Comparing Execution Trace Using Merkle-Tree to Detect Backward Incompatibilities2024
- Author(s)
  Atsuhito Yamaoka, Teyon son, Kazumasa Shimari, Takashi Ishio, Kenichi Matsumoto
- Organizer
  International Conference on Software Analysis, Evolution and Reengineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K21279
[Presentation] Pythonプログラミング演習におけるプログラミング経験度とエラー修正時間の関係分析2024
- Author(s)
  篠原遼太郎，嶋利一真，福島和希，田中慎之佑，石尾隆，松本健一
- Organizer
  第216回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-22K21279
[Presentation] Test Case Generation for Python Libraries using Dependent Projects’ Test-Suites,2024
- Author(s)
  Keita Morisaki, Kazumasa Shimari, Takashi Ishio, Kenichi Matsumoto
- Organizer
  7th Workshop on Validation, Analysis and Evolution of Software Tests
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16862
[Presentation] Comparing Execution Trace Using Merkle-Tree to Detect Backward Incompatibilities2024
- Author(s)
  Atsuhito Yamaoka, Teyon son, Kazumasa Shimari, Takashi Ishio, Kenichi Matsumoto
- Organizer
  International Conference on Software Analysis, Evolution and Reengineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16862
[Presentation] Test Case Generation for Python Libraries using Dependent Projects’ Test-Suites2024
- Author(s)
  Keita Morisaki, Kazumasa Shimari, Takashi Ishio, Kenichi Matsumoto
- Organizer
  7th Workshop on Validation, Analysis and Evolution of Software Tests
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K21279
[Presentation] プログラミング演習におけるエラー自動解説の有用性の評価2023
- Author(s)
  大和祐介，石尾隆，嶋利一真，松本健一
- Organizer
  第213回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-22K21279
[Presentation] Towards Assessment of Practicality of Introductory Programming Course Using Vocabulary of Textbooks, Assignments, and Actual Projects2023
- Author(s)
  Kazuki Fukushima, Takashi Ishio, Kazumasa Shimari, Kenichi Matsumoto
- Organizer
  35th International Conference on Software Engineering Education and Training
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K21279
[Presentation] 確率モデルを用いた初学者向け構文エラー修正支援手法の検討2023
- Author(s)
  田中慎之佑，嶋利一真，福島和希，石尾隆，松本健一
- Organizer
  第214回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-23K16862
[Presentation] 確率モデルを用いた初学者向け構文エラー修正支援手法の検討2023
- Author(s)
  田中慎之佑，嶋利一真，福島和希，石尾隆，松本健一
- Organizer
  第214回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-22K21279
[Presentation] Towards Assessment of Practicality of Introductory Programming Course Using Vocabulary of Textbooks, Assignments, and Actual Projects2023
- Author(s)
  Kazuki Fukushima, Takashi Ishio, Kazumasa Shimari, Kenichi Matsumoto
- Organizer
  35th International Conference on Software Engineering Education and Training
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K16862
[Presentation] Topic通信処理記述の解析によるROSアプリケーションのデータフローの可視化2022
- Author(s)
  村田優斗，石尾隆，嶋利一真，松本健一
- Organizer
  第212回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-22K21279
[Presentation] 限られた資源を用いた効率的なデバッグ手法に関する研究2022
- Author(s)
  嶋利一真
- Organizer
  第212回ソフトウェア工学研究発表会
- Invited
- Data Source
  KAKENHI-PROJECT-22K21279
[Presentation] ObfusEval: Evaluating Reliability of Obfuscating Transformations2022
- Author(s)
  Tetsuya Kitaoka, Yuichiro Kanzaki, Takashi Ishio, Kazumasa Shimari, Kenichi Matsumoto
- Organizer
  Annual Computer Security Applications Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K21279
[Presentation] コード難読化ツールの信頼性を評価するフレームワークの検討2022
- Author(s)
  北岡哲哉，神崎雄一郎，石尾隆，嶋利一真，松本健一
- Organizer
  第29回ソフトウェア工学の基礎ワークショップ
- Data Source
  KAKENHI-PROJECT-22K21279
[Presentation] 2つのWebアプリケーション間の類似する操作対象の対応関係抽出2022
- Author(s)
  内田啓太，石尾隆，嶋利一真，松本健一
- Organizer
  第29回ソフトウェア工学の基礎ワークショップ
- Data Source
  KAKENHI-PROJECT-22K21279

1. 神田哲也 (90780726)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Shimari Kazumasa 嶋利 一真

Research Projects

Research Products

Co-Researchers

Establishment of an analytics platform for documentation of backward incompatibilities in libraries

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Analysis of logging configurations on output and support of their optimization based on project characteristicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Rigorous and Efficient Library Compatibility Verification Method based on Runtime Information Analysis of Used FunctionsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Data Flow Visualization using Coding Patterns of Topic Communication in ROS Applications2024

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] Reliability Evaluation Framework for Obfuscating Transformations in Program Code.2023

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Presentation] Pythonプログラミング演習におけるプログラミング経験度とエラー修正時間の関係分析2024

Author(s)

Organizer

Data Source

[Presentation] Comparing Execution Trace Using Merkle-Tree to Detect Backward Incompatibilities2024

Author(s)

Organizer

Data Source

[Presentation] Pythonプログラミング演習におけるプログラミング経験度とエラー修正時間の関係分析2024

Author(s)

Organizer

Data Source

[Presentation] Test Case Generation for Python Libraries using Dependent Projects’ Test-Suites,2024

Author(s)

Organizer

Data Source

[Presentation] Comparing Execution Trace Using Merkle-Tree to Detect Backward Incompatibilities2024

Author(s)

Organizer

Data Source

[Presentation] Test Case Generation for Python Libraries using Dependent Projects’ Test-Suites2024

Author(s)

Organizer

Data Source

[Presentation] プログラミング演習におけるエラー自動解説の有用性の評価2023

Author(s)

Organizer

Data Source

[Presentation] Towards Assessment of Practicality of Introductory Programming Course Using Vocabulary of Textbooks, Assignments, and Actual Projects2023

Author(s)

Organizer

Data Source

[Presentation] 確率モデルを用いた初学者向け構文エラー修正支援手法の検討2023

Author(s)

Organizer

Data Source

[Presentation] 確率モデルを用いた初学者向け構文エラー修正支援手法の検討2023

Shimari Kazumasa 嶋利一真