Path-sensitive Type Analysis with Backward Analysis for Quality Assurance of Dynamic Typed Language Code. - Ryutaro Kodama; Yoshitaka Arahori; Katsuhiko Gondow (CoRR, 2023)