Skills
.Work. You
Rest

nw-pbt-stateful

Community

Stabilize tests with Stateful PBT patterns

Software Engineering#concurrency#software-engineering#stateful#testing-patterns#pbt#model-based
AuthorStudentCristian
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Stateful property-based testing for systems with mutable state helps uncover bugs that arise from stateful interactions by using a model-driven approach to generate and verify sequences of operations.

Core Features & Use Cases

  • Model-driven test generation and two-phase execution (generation and concrete execution)
  • Command patterns: CRUD, resource lifecycle, and transaction workflows
  • Guidance on debugging stateful tests, anti-patterns, and scalability
  • Supports linearizability testing guidance to reason about concurrency

Quick Start

Configure a model, define commands, and run a stateful PBT workflow against your system under test to begin validating stateful behavior.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: nw-pbt-stateful
Download link: https://github.com/StudentCristian/nWave-github/archive/main.zip#nw-pbt-stateful

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.