GitHub repository: monalip/VA4JVM
Primary language: Java
Description: In this project, we focus on the integration of execution traces from the regular JVM into a “jpf-visual” tool and visualize different run-time events