53 citations · 145 across the 24 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga
Statistical methods have been widely misused and misinterpreted in various scientific fields, raising significant concerns about the integrity of scientific research. To mitigate t…
cs.SE2023
Probabilistic Black-Box Checking via Active MDP Learning
Junya Shijubo, Masaki Waga, Kohei Suenaga
We introduce a novel methodology for testing stochastic black-box systems, frequently encountered in embedded systems. Our approach enhances the established black-box checking (BBC…