Product Promotion
0x5a.live
for different kinds of informations and explorations.
Massoni - JmlOk2
A tool for detect and categorize nonconformances in Contract-Based Programs What is JmlOk2? JmlOk2 is a tool that detects nonconformances between Java code and JML specification through the feedback-directed random tests generation. Also, JmlOk2 is a tool that suggests likely causes for
Visit SiteNo Context is Avilable
Java Resources
are all listed below.
GitHub - ben-manes/caffeine: A high performance caching library for Java
resource
~/github.com
resource
GitHub - wanglingsong/JsonSurfer: A streaming JsonPath processor in Java
resource
~/github.com
resource
GitHub - jaegertracing/jaeger-client-java: 🛑 This library is DEPRECATED!
resource
~/github.com
resource
GitHub - diffplug/selfie: Snapshot testing for Java, Kotlin, and the JVM
resource
~/github.com
resource
Made with ❤️
to provide different kinds of informations and resources.