Takeru Kuroiwa

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 6

Top Topics

Formal Verification

Alternating Time Temporal Logic

Test Case Generation

Top Venues

Publications

Yusuke Aoyama, Takeru Kuroiwa, Noriyuki Kushiro
Executable Test Case Generation from Specifications Written in Natural Language and Test Execution Environment. CCNC (2021)
Yusuke Aoyama, Takeru Kuroiwa, Noriyuki Kushiro
Test Case Generation Algorithms and Tools for Specifications in Natural Language. ICCE (2020)
Takeru Kuroiwa, Yusuke Aoyama, Noriyuki Kushiro
Automatic Testing Environment for Virtual Network Embedded Systems. ICCE (2020)
Takeru Kuroiwa, Yusuke Aoyama, Noriyuki Kushiro
A Hybrid Testing Environment between Execution Test and Model Checking for IoT System. ICCE (2019)
Yusuke Aoyama, Takeru Kuroiwa, Noriyuki Kushiro
Hybrid Testing Environment of Execution Testing and Model Checking for Product Line Approach. APSEC (2018)
Takeru Kuroiwa, Yusuke Aoyama, Noriyuki Kushiro
Testing Environment for CPS by Cooperating Model Checking with Execution Testing. KES (2016)
Takeru Kuroiwa, Noriyuki Kushiro
Testing environment for embedded software product lines. AICCSA (2015)
Tomomasa Sato, Mehrab Hosseinbor, Takeru Kuroiwa, Rui Fukui, Jun Tamura, Taketoshi Mori
Behavior and Personal Adaptation of Robotic Lamp. J. Robotics Mechatronics 17 (1) (2005)
Hiroshi Morishita, Keisuke Watanabe, Takeru Kuroiwa, Taketoshi Mori, Tomomasa Sato
Development of robotic kitchen counter: kitchen counter equipped with sensors and actuator for action-adapted and personally fit assistance. IROS (2003)