C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Kotaro Tanabe
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Model Based Testing
Sequence Diagrams
Test Set
Security Policies
Top Venues
JCKBSE
</>
Publications
</>
Kotaro Tanabe
,
Yoshinori Tanabe
,
Masami Hagiya
Model-Based Testing for MQTT Applications.
JCKBSE
(2020)