Jinq framework for performing symbolic execution analysis on Java code

jOOQ generates Java code from your database and lets you build type safe SQL queries through its fluent API.

Mockito mock objects library core API and implementation

Utilities for ASM, a very small and fast Java bytecode manipulation framework

JUnit Jupiter is the API for writing tests using JUnit 5.

Core package for the JUnit Jupiter test engine.