67 citations · 98 across the 6 of their papers we have counts for
6 papers
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions
Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi +2
Programmers often use Q&A sites (e.g., Stack Overflow) to understand a root cause of program bugs. Runtime exceptions is one of such important class of bugs that is actively discus…
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata +2
With the rapid development of software and distributed computing, Cyber-Physical Systems (CPS) are widely adopted in many application areas, e.g., smart grid, autonomous automobile…
Causality-Aided Falsification
Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo
Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability. In this paper we introduce…
A Boyer-Moore Type Algorithm for Timed Pattern Matching
Masaki Waga, Takumi Akazaki, Ichiro Hasuo
The timed pattern matching problem is formulated by Ulus et al. and has been actively studied since, with its evident application in monitoring real-time systems. The problem takes…
Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version)
Takumi Akazaki, Ichiro Hasuo
Building on the work by Fainekos and Pappas and the one by Donze and Maler, we introduce AvSTL, an extension of metric interval temporal logic by averaged temporal operators. Its e…
Input Synthesis for Sampled Data Systems by Program Logic
Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga
Inspired by a concrete industry problem we consider the input synthesis problem for hybrid systems: given a hybrid system that is subject to input from outside (also called disturb…