Tools

Java

• JavaExP

  JavaExP (opens in a new window)

  Java Exception-aware API Lifecycle Model analyzer

  View repository (opens in a new window)
• JStringChecker

  JStringChecker (opens in a new window)

  Java Method to SMT-LIB Converter with its Dataset

  View repository (opens in a new window)
• JustinSTR

  JustinSTR (opens in a new window)

  JustinStr is a tool for automatically generating string test data.

  PublicationView repository (opens in a new window)
• Leopard

  Leopard (opens in a new window)

  A lightweight tool to detect thread related misuses causing resource leaks in Java.

  PublicationView repository (opens in a new window)