00002016
A case for static analysis of linux to find faults in interrupt request handlers
Takeshi Yoshimura, and Kenji Kono
IPSJ Transactions on Advanced Computing Systems (ACS53) 24(3), 573--582, Information Processing Society of Japan, 2016
Abstract
Takeshi Yoshimura, and Kenji Kono
IPSJ Transactions on Advanced Computing Systems (ACS53) 24(3), 573--582, Information Processing Society of Japan, 2016
Abstract
2014
FoxyFeed: Forging Device-Level Asynchronous Events for Kernel Development
Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, Takeshi Yoshimura
20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '14), pp. 145--154, 2014
Abstract
Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, Takeshi Yoshimura
20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '14), pp. 145--154, 2014
Abstract
Who Writes What Checkers?-Learning from Bug Repositories.
Takeshi Yoshimura, and Kenji Kono
8th USENIX Workshop on Hot Topics in System Dependability (HotDep '12), 2014
Abstract
Takeshi Yoshimura, and Kenji Kono
8th USENIX Workshop on Hot Topics in System Dependability (HotDep '12), 2014
Abstract
Do injected faults cause real failures? a case study of linux
Nobuo Kikuchi, Takeshi Yoshimura, Ryo Sakuma, Kenji Kono
IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW '14), pp. 174--179, 2014
Abstract
Nobuo Kikuchi, Takeshi Yoshimura, Ryo Sakuma, Kenji Kono
IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW '14), pp. 174--179, 2014
Abstract
2013
Using Fault Injection to Analyze the Scope of Error Propagation in Linux
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono
IPSJ Transactions on Advanced Computing Systems (ACS42) Vol. 6(2), 1--10, 2013
Abstract
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono
IPSJ Transactions on Advanced Computing Systems (ACS42) Vol. 6(2), 1--10, 2013
Abstract
2012
Is linux kernel oops useful or not?
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono
8th USENIX Workshop on Hot Topics in System Dependability (HotDep '12), 2012
Abstract
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono
8th USENIX Workshop on Hot Topics in System Dependability (HotDep '12), 2012
Abstract
2011
Can Linux be rejuvenated without reboots?
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono
IEEE Third International Workshop on Software Aging and Rejuvenation (WoSAR '11), pp. 50--55, 2011
Abstract
Takeshi Yoshimura, Hiroshi Yamada, and Kenji Kono
IEEE Third International Workshop on Software Aging and Rejuvenation (WoSAR '11), pp. 50--55, 2011
Abstract