Using Theia Trace Viewer to Visualize JPF Traces. - Johan Besseling; Cyrille Artho (ACM SIGSOFT Softw. Eng. Notes, 2023)