✅ Property Testing - hello · Scour

Choosing properties for property-based testing 🔍Proptest

fsharpforfunandprofit.com·2d

MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases 🌊SeaORM

arxiv.org·17h

Add readonly variance parsing tests 👻Rust Phantom Data

github.com·5d

A simple test-time method that beats Claude Mythos on Terminal-Bench 🧮MKL

llm-as-a-verifier.notion.site·1h·Hacker News

Hatter: Native Haskell Mobile Apps 🧊Iced

jappie.me·1d·Hacker News

Run Leetcode locally - Javascript test case for practices 🎲Quickcheck

lnkd.in·4d·DEV

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

kazdispatch.gumroad.com·5d·DEV

MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing 🦀Rust Macros

arxiv.org·17h

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

github.com·1d·Hacker News

Automated SVA Generation with LLMs 📋LLVM TableGen

arxiv.org·17h

AdverMCTS: Combating Pseudo-Correctness in Code Generation via Adversarial Monte Carlo Tree Search 🔓Binary Exploitation

arxiv.org·17h

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

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

arxiv.org·4d

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

arxiv.org·5d

A Gradual Probabilistic Lambda Calculus λFunctional Programming

arxiv.org·6d

Tractable Hyperproperties for MDPs ⚓Anchors

arxiv.org·5d

Active Hypothesis Testing under Computational Budgets with Applications to GWAS and LLM 🐻‍❄️Polars Lazy

arxiv.org·5d

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

arxiv.org·6d