Osaka Gakuin University — Japan
Computer Science · Physical Sciences
25h-index2.3kcitations278works0.02yr avg
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
2012· 111 cited
Defining Semantic Guideline in XML-based Programmable Service Environment
2012
IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences·2012· 22 citedOpen Access
2011· 1 cited
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
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
2010· 25 cited
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)