✅ Property Testing - kqr · Scour

A real-world case of property-based verification 🎲Property-Based Testing

ochagavia.nl·4d·Lobsters, Hacker News, r/rust

A characterization of one-sided error testable graph properties in bounded degeneracy graphs 🎲Property-Based Testing

arxiv.org·2d

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. 🐛Fuzzing

github.com·16h·Hacker News

Verification Debt Is Your Next Headache 🌪️Chaos Engineering

leadership.garden·22h

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 🧬Mutation Testing

symbolic.software·2d

Automated Security Assertion Generation Using LLMs (U. of Florida) 🎲Property-Based Testing

semiengineering.com·5d

A New Jersey Teen Finds Treasure, and More, in Abandoned Storage Units 😴Lazy Evaluation

longreads.com·17h

Fuzzing LLMs Like Binaries: Building a Coverage-Guided Prompt Fuzzer in Rust 🐛Fuzzing

medium.com·2d

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code 🐛Fuzzing

eprint.iacr.org·2d

Cryptographic Provenance for LLM Inference 🎲Property-Based Testing

commitllm.com·5d·Hacker News

Designing from Invariants ⚡Circuit Breakers

looppass.mindmeld360.com·1d·DEV

SQL-first code generator for PostgreSQL (Haskell, Rust, Java) 📦Cabal

pgenie.io·6d·Lobsters

Take Back Control of Your Screen Time – Brick LLC 😈Evil Mode

getbrick.com·1d

Compare harnesses not models: Blitzy vs. GPT-5.4 on SWE-Bench Pro 👀Code Reviews

quesma.com·2d·Hacker News

Systems Thinking and Test Cases 🔴Test-Driven Development

testpappy.wordpress.com·5d

Factual Verification for AI 🎲Property-Based Testing

enterprise.factagora.com·1d·Hacker News, Hacker News

Modelling Distributed Applications with Mixed-Choice Stateful Typestates 🌲Persistent Data Structures

arxiv.org·4h

I Accidentally Reinvented Kernel (Programming Language) 🎓Scheme

fayash.me·3d·Hacker News

Adam Bien: Formal Methods, Functional Programming, and Securing the Java Ecosystem--airhacks.fm podcast 😴Lazy Evaluation

adambien.blog·2d

moonrunnerkc/swarm-orchestrator: Verification and governance layer for AI coding agents. Parallel orchestration with evidence-based quality gates for Copilot, Claude Code, and Codex. 👀Code Reviews

github.com·2h·DEV

Loading more...