GitHub repository: marioscrock/java-reasoning
Primary language: Java
Description: A Java project exploiting Java Debug Interface and OWL API to reason on active instances of a running java application.