#
jqwik
Here are 21 public repositories matching this topic...
The Artemis Java Test Sandbox: the second Java implementation of the SCORE (Secure COder Remote Execution) framework. Sandboxes student submissions via policy-based static analysis (ArchUnit/WALA) and runtime instrumentation (AspectJ/Byte Buddy) over file, network, command, thread and JVM access, with deadline-aware hidden tests and clear feedback.
java gradle maven tum sandbox static-analysis autograding java-agent bytebuddy dynamic-analysis aspectj ares junit5 cit artemis wala untrusted-code bytecode-instrumentation archunit jqwik
-
Updated
Sep 26, 2026 - Java
Maintenance-mode jqwik-compatible property-based testing for the JUnit Platform with automation-safe reporting.
-
Updated
Jun 2, 2026 - Java
勉強：Kotlin/SpringBoot/アプリアーキテクチャ/戦術的DDD/エラーハンドリング/ソフトウェアテスト/OpenAPIからコードの自動生成
-
Updated
Feb 23, 2023 - Kotlin
A handy utility for generating strings matching specified regular expression criteria.
regex regexp regex-pattern regex-match scalacheck vavr-test jqwik scalacheck-generators junit-quickcheck zio-test scalacheck-gen jetcheck hedgehog-scala
-
Updated
Sep 25, 2026 - Java
Hands-on for Property-Based Testing with Jqwik
-
Updated
Jan 26, 2026 - Java
playing around with jqwik property testing
-
Updated
May 19, 2019 - Kotlin
Labs for MAI's Cryptography Fundamentals course — 5th semester.
-
Updated
Dec 22, 2025 - Java
Motor de contabilidad por partida doble para PYMES de Ecuador: plan de cuentas Supercias, asientos que solo se guardan si cuadran, cierre de periodos y estados financieros NIIF PYMES en Excel/PDF. Spring Boot 4, PostgreSQL, jqwik, Testcontainers.
java docker jwt spring-boot rest-api neon postgresql accounting render property-based-testing flyway testcontainers ecuador materialized-views double-entry-bookkeeping github-actions niif jqwik ifrs-for-smes supercias
-
Updated
Sep 24, 2026 - Java
A standalone match-3 rules engine — zero JDK-external dependencies, pinned down by 16 jqwik property-based invariants. 59 tests, playable in-browser via TeaVM.
-
Updated
Aug 1, 2026 - Java
Refactoring legado de e-commerce: encapsulamento, objetos de domínio, Hide Delegate e SRP. Java 21, JUnit 5, Jqwik, JaCoCo.
refactoring java tdd solid maven clean-code design-patterns software-engineering jacoco junit5 jqwik
-
Updated
Mar 16, 2026 - Java
Modern Abstract and Linear Algebra Library in Java 25 LTS
java linear-algebra property-based-testing group-theory abstract-algebra field-theory matrix-operations jqwik java-25
-
Updated
Sep 9, 2026 - Java
Double-entry ledger for the JVM. Immutable and append-only, balance enforced at construction, multi-currency with each currency balancing on its own, point-in-time balances. Framework-free domain, verified with property-based tests.
java immutable spring-boot gradle postgresql domain-driven-design accounting ledger fintech property-based-testing testcontainers double-entry double-entry-bookkeeping archunit jqwik
-
Updated
Aug 20, 2026 - Java
Comprehensive software testing analysis of a Java application using JUnit, jqwik, JaCoCo, PIT and EvoSuite.
-
Updated
Aug 11, 2026 - Java
Cobertura de teste não mede se alguém conferiu o resultado. Experimento com PIT e property-based testing sobre uma regra de split de pagamento: mesma suíte, dois braços, mutation score medido nos dois. Java 25 + Spring Boot 4.
-
Updated
Aug 30, 2026 - Java
URL shortener service built with Spring Boot, featuring hash-based generation, analytics tracking, and comprehensive property-based testing
-
Updated
Mar 5, 2026 - Java
Add this topic to your repo
To associate your repository with the jqwik topic, visit your repo's landing page and select "manage topics."