Sousuke AMASAKI


Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking
Nao IGAWA Tomoyuki YOKOGAWA Sousuke AMASAKI Masafumi KONDO Yoichiro SATO Kazutami ARIMOTO 
Publication:   
Publication Date: 2020/03/01
Vol. E103-D  No. 3  pp. 702-705
Type of Manuscript:  LETTER
Category: Software System
Keyword: 
formal verificationTime Petri NetSMT Solverdifference logic
 Summary | Full Text:PDF(99.9KB)

Lines of Comments as a Noteworthy Metric for Analyzing Fault-Proneness in Methods
Hirohisa AMAN Sousuke AMASAKI Takashi SASAKI Minoru KAWAHARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/12/01
Vol. E98-D  No. 12  pp. 2218-2228
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
product metricsfault-prone method predictioncommentsregression model
 Summary | Full Text:PDF(614.6KB)

Synthesis and Refinement Check of Sequence Diagrams
Hisashi MIYAZAKI Tomoyuki YOKOGAWA Sousuke AMASAKI Kazuma ASADA Yoichiro SATO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/09/01
Vol. E95-D  No. 9  pp. 2193-2201
Type of Manuscript:  Special Section PAPER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
UMLsequence diagramrefinementmodel checkingLTSA
 Summary | Full Text:PDF(530.5KB)

Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development
Sousuke AMASAKI Yasunari TAKAGI Osamu MIZUNO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/06/01
Vol. E88-D  No. 6  pp. 1134-1141
Type of Manuscript:  Special Section PAPER (Special Section on Software Engineering for Embedded Systems)
Category: 
Keyword: 
Bayesian Belief Networkcausal modelsoftware quality prediction
 Summary | Full Text:PDF(466.6KB)