concurrency-testing

Random testing library for C#

JMC - Java Model Checker

A model-based testing framework for .NET that validates implementations against behavioral specifications.

[ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling

Concurrency property fuzzing tool for Lwt-based OCaml programs

Coyote-style controlled concurrency testing for the BEAM

Jcstress sample project

Verus-first universal software bug-finding, triage, repair, and verification harness

Safe Rust metaprogramming and adversarial testing: typed code generation with receipts, proc macros, generated trials, mutation, replay, and reproducible evidence.

BFT Protocol Testing Benchmarking Suite

Concurrency property fuzzing tool for multicore OCaml programs

API 模型健康检测 · 批量点检 AI 中转/官方 API 的连通、延迟、流式、Token 速率与并发，出报告

Concurrency correctness testing for HTTP APIs using explicit application invariants, with failure reduction and reproducible evidence.

CLI 기반 주문 시스템

End-to-end QA/SDET lab for a simulated trading platform using Java, Spring Boot, REST Assured, Playwright, PostgreSQL, Docker and GitHub Actions.

Local PHP/MySQL reference system for database integrity, role-aware workflows, concurrency tests, and reproducible fictional evidence.

Deterministically tests cache-aside races by controlling Redis/Valkey command ordering and detecting stale cache resurrection.

A Go-based **toolkit** for load-testing Salesforce Apex REST endpoints. Clockwork Piranha deploys a coordinated pack of concurrent goroutines against a target endpoint at a controlled rate, hunting for the throughput limits and infrastructure weak points that production traffic will eventually find on its own.

Spring Boot 4.1.0 + Java 26 REST API for restaurant table reservations. Features JWT authentication, Keycloak for OAuth2/OIDC IAM, role-based access, Spring Security, concurrent data access, smallest-fit table allocation, hourly time slots, view/delete own reservations, image endpoints, H2 persistence, Swagger UI, Actuator, and Jakarta Validation.

QA & test automation case study - a flight/hotel/package booking marketplace where fare-lock integrity and overbooking prevention are tested as concurrency problems. Cypress + JavaScript automation, k6 performance/concurrency testing.