Finiteâstate model extraction and visualization from Java program execution
K. P., Jevitha, Jayaraman, Swaminathan, Jayaraman, Bharat, M, SethumadhavanJournal:
Software: Practice and Experience
DOI:
10.1002/spe.2910
Date:
October, 2020
File:
PDF, 5.04 MB
2020