Logarithm and program testing. - Kuen-Bang Hou (Favonia); Zhuyang Wang (Proc. ACM Program. Lang., 2022)