Property-based testing is a powerful approach for testing.
It came from Haskell community (original lib called QuickCheck), but there are analogs for other languages.
The main idea to generate input data by random and trying to break guarantees which you think your code provides.
I don't use any property-based test lib for Java, so I can't say which is the best one.
I know there is ScalaCheck for Scala.
And this for Rust (by the way very good documentation).
I think you can add some property-based testing framework in your project. What do you think?