skills.rest
StudentCristian
StudentCristianCOMMUNITY
Explore all skills by this author →
GitHub

nw-pbt-jvm

Automate property-based testing workflows on the JVM across jqwik, ScalaCheck, and ZIO Test.

Updated Apr 15, 2026
Search Tags:#testing#jvm#property-based-testing#pbt#jqwik#scalacheck#zio-test
One-click install
npx skills add https://github.com/StudentCristian/nWave-github --skill nw-pbt-jvm
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: nw-pbt-jvm
Source: https://github.com/StudentCristian/nWave-github/tree/main/.github/skills/nw-pbt-jvm
Command: npx skills add https://github.com/StudentCristian/nWave-github --skill nw-pbt-jvm

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Automates property-based testing workflows on the JVM across jqwik, ScalaCheck, and ZIO Test frameworks to detect edge cases early and improve code quality.

Core Features & Use Cases

  • Supports multiple JVM PBT frameworks (jqwik for Java/Kotlin, ScalaCheck for Scala, ZIO Test for Scala).
  • Provides stateful testing, shrinking, and property-based test generation across languages.
  • Use cases include validating data structures, API contracts, and complex system invariants.

Quick Start

Install the dependencies for your JVM project and write a simple property using your chosen framework to verify a basic invariant.

Frequently Asked Questions about nw-pbt-jvm

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I automate property-based testing workflows on the JVM?▼

You can automate property-based testing on the JVM by configuring a framework like jqwik, ScalaCheck, or ZIO Test to generate tests, verify invariants, and shrink failing cases in your CI pipeline.

What is property-based testing used for in Java and Scala projects?▼

Property-based testing is used to validate data structures, API contracts, and complex system invariants by generating systematic test cases to detect edge cases early and improve code quality.

Does property-based testing work with both Kotlin and Scala?▼

Property-based testing works with Kotlin and Scala by using frameworks like jqwik for Java and Kotlin, and ScalaCheck or ZIO Test for Scala, provided you configure the appropriate build tool.

How do I set up stateful testing and shrinking for complex data models?▼

You can set up stateful testing and shrinking by installing the appropriate JVM dependencies and writing properties using your chosen framework, requiring language-friendly test libraries with @Property annotations.

What is the difference between jqwik, ScalaCheck, and ZIO Test for PBT?▼

jqwik targets Java and Kotlin projects, while ScalaCheck and ZIO Test target Scala projects, all providing property generation, stateful testing, and shrinking capabilities across different JVM languages.

Why do I need language-friendly test libraries with @Property for CI pipelines?▼

Language-friendly test libraries with @Property are required for CI pipelines to properly recognize, execute, and report property-based tests across your JVM project's build tool configuration.

Related Skills

Explore More Software Engineering Skills→
semicolon-devteamsemicolon-devteam

run-tests

Run Gradle tests for Spring Boot Kotlin projects and generate JaCoCo coverage reports.

Official
Advanced
lailtonjuniorlailtonjunior

Test Generation

Generate unit, integration, and edge-case tests from codebases.

Community
Intermediate
bobmatnycbobmatnyc
15

contract-driven-testing

Derive a three-level testing pyramid from function code contracts.

Community
Advanced
StudentCristianStudentCristian

nw-pbt-go

Automate property-based testing for Go applications with rapid and gopter.

Community
Intermediate