Finite-state model extraction and visualization from Java program execution. - Jevitha K. P.; Swaminathan Jayaraman; Bharat Jayaraman; M. Sethumadhavan 001 (Softw. Pract. Exp., 2021)