Tohru Kikuno

Osaka Gakuin University — Japan

Computer Science · Physical Sciences

25h-index2.3kcitations278works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Reliability and Analysis Research(64), Software Engineering Research(54), Formal Methods in Verification(44), Software Testing and Debugging Techniques(44), Distributed systems and fault tolerance(33)

Publications278 total

Software reconstruction and module management for distributed processing of train control
2013
Safety Verification of Asynchronous Consensus Algorithms with Model Checking
2012· 3 cited
Bug prediction based on fine-grained module histories
2012· 111 cited
Defining Semantic Guideline in XML-based Programmable Service Environment
2012
Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints
IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences·2012· 22 citedOpen Access
Gossiping with Network Coding
2011· 1 cited
Constructing Test Sets for Pairwise Testing: A SAT-Based Approach
2011· 6 cited
Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables
2011
Network Coding-Based Gossip
IEICE Technical Report; IEICE Tech. Rep.·2011
K-induction-based model checking of concurrent systems with unbounded integer variables
IEICE Technical Report; IEICE Tech. Rep.·2011
Historage
2011· 45 cited
Identifying systematic changes of Java source code structure
IEICE Technical Report; IEICE Tech. Rep.·2011
A New Code Coverage that Focuses on Edge Pairs in a Control Flow Graph
Technical report of IEICE. SS·2011
An Empirical Study on Relationship between Change History of Method Comments and Method Bugs
IEICE Technical Report; IEICE Tech. Rep.·2010
On the Reliability of Cascaded TMR Systems
2010· 25 cited
Balance and Proximity-Aware Skip Graph Construction
2010· 8 cited
Accelerating State Reachability Analysis with a GPU
IEICE technical report. Dependable computing·2010
Evaluation of Automated Testing Tools for Web Application Vulnerability Detection
IEICE Technical Report; IEICE Tech. Rep.·2010· 1 cited
On Deriving Essential Factors for Estimating Successful Projects from Actual Project Data
IEICE Technical Report; IEICE Tech. Rep.·2010
Scientific Computing in the Cloud
IEEE Design & Test of Computers·2010
page 1 of 14Next →

Frequent Co-authors

Tatsuhiro Tsuchiya(20), Osamu Mizuno(15), Yasunari Takagi(8), Yoshiaki Kakuda(5), Kenichi Matsumoto(5), Masahide Nakamura(4), K. Sakamoto(4), Hideaki Hata(3), Koji Torii(3), Pattara Leelaprute(3), Noriyoshi Yoshida(2), Sousuke Amasaki(2), Tetsuya Osada(2), Noritaka Kobayashi(2), Shiro Ikami(2), Shuya Nakaichi(2), Koji Hashimoto(2), Toshifumi Tanaka(2), Shinji Kusumoto(2), N. Yoshida(2)