HypothesisWorks / hypothesis-javaLinks
Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
☆103Updated last year
Alternatives and similar repositories for hypothesis-java
Users that are interested in hypothesis-java are comparing it to the libraries listed below
Sorting:
- Property based testing for Java 8☆510Updated 4 years ago
- A simple tool that finds serious bugs in Java exception handler☆124Updated 8 years ago
- walkmod: an open source tool to fix coding style issues☆153Updated 2 years ago
- Property-based test framework☆80Updated 2 years ago
- Contracts for Java☆154Updated 5 years ago
- "How to Specify it" in Java and jqwik☆24Updated 3 years ago
- Compile-Time Purity and Immutability Semantics For The Java Language☆174Updated 6 years ago
- Scala-like pattern matching for Java 8☆149Updated 7 years ago
- adt4j - Algebraic Data Types for Java☆145Updated 7 years ago
- Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM☆316Updated 5 months ago
- Lightweight analysis tool for detecting mutability in Java classes☆240Updated last year
- A reasonably complete implementation of the Universal Scalability Law model.☆201Updated 6 years ago
- Includes JDeps in Maven☆16Updated 9 years ago
- ☆54Updated 9 years ago
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆126Updated 3 months ago
- Yet Another Test Specification Library☆57Updated 3 years ago
- Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses…☆570Updated 2 years ago
- Functional programming in Groovy☆67Updated 9 years ago
- Reimplementing lambda calculus in Java 8 for fun and profit.☆17Updated 10 years ago
- ☆94Updated last year
- Tools for type annotations in Java☆39Updated last week
- Bytecode-level fault injection for the JVM.☆226Updated 4 years ago
- Maven Plugin for running Facebook Infer☆16Updated 5 years ago
- Type-safe records in Java, to be used instead of POJOs, Java beans, maps or value objects.☆47Updated 7 years ago
- Hamcrest matchers for composition.☆30Updated last year
- A modern testing and behavioural specification framework for Java 8☆255Updated 3 years ago
- Java Code Generator for Idris☆71Updated 9 years ago
- Finite state dictionaries in Java☆130Updated 3 years ago
- Nitor Creations Core Components☆22Updated 4 months ago
- Executable specifications for Java☆135Updated 4 years ago