Junya Shijubo

1. Efficient Black-Box Checking via Model Checking with Strengthened Specifications
   2021/09/10 by Junya Shijubo, Shijubo, Junya, Masaki Waga +3 · 4 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #Software Testing and Debugging Techniques
2. Probabilistic Black-Box Checking via Active MDP Learning
   2023/07/15 by Junya Shijubo, Shijubo, Junya, Masaki Waga +3 · 3 citations
   Computer Science · #Machine Learning and Algorithms #Software Reliability and Analysis Research #Formal Methods in Verification