Alternatives and similar repositories for how-to-specify-it

Users that are interested in how-to-specify-it are comparing it to the libraries listed below

• JetBrains / jetCheck
  Property-based test framework
  ☆82Updated 3 months ago
• jtulach / sieve
  Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle
  ☆28Updated 2 years ago
• STAMP-project / dspot
  Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
  ☆118Updated last year
• STAMP-project / pitest-descartes
  Descartes supports developers to improve their test suites by reporting weak spots in covered code
  ☆126Updated 3 months ago
• SpoonLabs / spoon-examples
  Examples on how to use the Spoon Java source code transformation library
  ☆92Updated 3 years ago
• vandmo / dependency-lock-maven-plugin
  Maven plugin that makes sure that Maven dependency are not accidentaly changed.
  ☆70Updated last week
• HypothesisWorks / hypothesis-java
  Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
  ☆105Updated 2 years ago
• pitest / pitest-junit5-plugin
  JUnit 5 test framework support for Pitest
  ☆77Updated 7 months ago
• maveniverse / mima
  Minimal Maven reusable one-stop shop library
  ☆49Updated 2 weeks ago
• innoq / code-your-model
  allows to document a complex, distributed model in an easy, concise and project-/domain-specific way.
  ☆20Updated 5 years ago
• bowbahdoe / jresolve-cli
  CLI for resolving dependencies on the JVM
  ☆36Updated 10 months ago
• quicktheories / QuickTheories
  Property based testing for Java 8
  ☆512Updated 5 years ago
• Mahoney / slf4j-test
  Implementation of SLF4J which allows easy access to logging events in tests
  ☆38Updated 6 years ago
• SamirTalwar / Rekord
  Type-safe records in Java, to be used instead of POJOs, Java beans, maps or value objects.
  ☆47Updated 8 years ago
• simonis / cl4cds
  Documentation and Tools for the OpenJDK Class Data and Application Class Data Sharing (CDS/AppCDS) features
  ☆29Updated 7 years ago
• forax / vmboiler
  A small library on top of ASM that generates optimistically typed bytecodes for dynamically typed JVM based languages
  ☆13Updated 10 years ago
• STAMP-project / pitmp-maven-plugin
  Maven plugin to handle multi module projects for PiTest
  ☆50Updated 2 years ago
• netmikey / logunit
  A Java library for unit-testing logging.
  ☆52Updated 2 years ago
• rpau / junit4git
  Junit Extensions for Test Impact Analysis
  ☆44Updated 2 years ago
• BinaryTweed / quarantining-test-runner
  JUnit Runner that loads specified classes in a separate ClassLoader, which can be handy when depending on third party frameworks which ma…
  ☆14Updated 10 years ago
• KengoTODA / findbugs-slf4j
  A SpotBugs/FindBugs plugin to verify usage of SLF4J
  ☆77Updated 2 years ago
• Bijnagte / spock-genesis
  Mostly lazy data generators for property based testing using the Spock test framework
  ☆95Updated 7 years ago
• Frege / frege-gradle-plugin
  Gradle plugin for compiling Frege projects
  ☆25Updated 4 years ago
• dakusui / jcunit
  A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.
  ☆83Updated 7 months ago
• benjiman / recordmixins
  Playing with Java 14 Records and Interfaces for mixins
  ☆44Updated 3 years ago
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆14Updated 4 years ago
• tomitribe / jamira
  Command-line API for Atlassian JIRA using the Tomitribe CREST library
  ☆13Updated 4 years ago
• sormuras / testing-in-the-modular-world
  Testing Java Modules With JUnit 5 Blueprint
  ☆26Updated 2 years ago
• sdeleuze / jspecify-nullaway-demo
  ☆18Updated last month
• takari / maven-timeline
  Takari Maven Timeline
  ☆32Updated 2 weeks ago