✅ Property Testing - hello · Scour

Choosing properties for property-based testing 🔍Proptest

fsharpforfunandprofit.com·2d

Stop writing edge case tests. Let Hypothesis find them instead. 🔍Proptest

dev.to·1h·DEV

Log-based, Business-aware REST API Testing 🧪Jepsen Testing

arxiv.org·4d

google-research/dex-lang: Research language for array processing in the Haskell/ML family 🧮MKL

github.com·1d·Hacker News

Run Leetcode locally - Javascript test case for practices 🎲Quickcheck

lnkd.in·4d·DEV

Hatter: Native Haskell Mobile Apps 🧊Iced

jappie.me·1d·Hacker News

The Exception Butterfly 🦗Pest

valhovey.github.io·2d·Hacker News

The Python Testing Toolkit: 4 Drop-In Files for Production pytest 🧬Mutation Testing

kazdispatch.gumroad.com·5d·DEV

Why Single-Pass AI Test Generation Produces Garbage 🧬Mutation Testing

dev.to·23h·DEV

When Verification Fails: How Compositionally Infeasible Claims Escape Rejection 🧮SMT Solvers

arxiv.org·14h

AeneasVerif/aeneas: A verification toolchain for Rust programs 🐧Rust for Linux

github.com·2d·Hacker News

Modelling Distributed Applications with Mixed-Choice Stateful Typestates 👻Phantom Types

arxiv.org·5d

TheAuditorTool/sast-benchmark: The first public OWASP-style SAST benchmark suite for Go, Rust, and Bash. Ground truth test cases with vulnerable/safe classifications for measuring detection accuracy (Youden's formula) of any static analysis tool. 📊Criterion.rs

github.com·6d·Hacker News

From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation 🔨LLVM

arxiv.org·1d

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs 🌀Maelstrom

arxiv.org·1d

A Gradual Probabilistic Lambda Calculus λFunctional Programming

arxiv.org·6d

Tractable Hyperproperties for MDPs ⚓Anchors

arxiv.org·5d

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 🧮SMT Solvers

arxiv.org·6d

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis 🎭Program Synthesis

arxiv.org·6d

Quantum Property Testing for Bounded-Degree Directed Graphs ⚛️Quantum Computing

arxiv.org·4d

No more posts from hello's subscribed feeds.

Scour all 23983 feeds Learn more about Feeds