🎲 Property-Based Testing - kqr · Scour

Open, Closed and Broken: Prompt Fuzzing Finds LLMs Still Fragile Across Open and Closed Models

unit42.paloaltonetworks.com·1d

Equivalence testing with data-dependent and post-hoc equivalence margins

arxiv.org·1d

📐Gini Coefficient

Generative Specification: A Pragmatic Programming Paradigm for the Stateless Reader

zenodo.org·5h·

Discuss: DEV

🚫Branch-Free Programming

Differential Fuzzing

youtube.com·2d

🐛Fuzz Testing

Same Performance, Hidden Bias: Evaluating Hypothesis- and Recommendation-Driven AI

arxiv.org·1d

Stop Guessing - Automated Unit Tests Tell You How Your Code Behaves

dev.to·12h·

Discuss: DEV

🔴Test-Driven Development

Formal Verification: The Ultimate Fitness Function

lesswrong.com·6h

🧬Mutation Testing

Why Testing is Hard and How to Fix it with Will Wilson

signals-threads.simplecast.com·1d

🔴Test-Driven Development

A Synthesis of LLM Evaluation

aroy.sh·1d

How well are the tests covering the code?

radanskoric.com·1d

🧬Mutation Testing

Announcing behave 0.8.0: BDD-style Rust tests that compile to ordinary #[test] functions

dev.to·1d·

Discuss: DEV

✅Property Testing

The AI-Ready Software Developer #22

codemanship.wordpress.com·21h

👀Code Reviews

ML Infrastructure Testing Quality: A Rubric for ML Production

dinagoethe.medium.com·2d

🧬Mutation Testing

Formal Verification Best Practices

semiwiki.com·1d

In search of falsehood – using Opus 4.6 to prove False

tristan.st·10h·

Discuss: Hacker News

A comprehensive database of categories and their properties

catdat.app·5h·

Discuss: Hacker News

📐Gini Coefficient

yolz; you only look o̶n̶c̶e̶ zero times

matpalm.com·5h

core-probe — A Hardware Diagnostic Toolkit Written in Go

bensantora.com·9h·

Discuss: DEV

hyrfilm/skivvy: JSON-native, CLI-first integration tests for HTTP APIs

github.com·2d·

Discuss: Hacker News

📝Contract Testing

EduSCARA: An open source RRPR educational SCARA platform

sciencedirect.com·18h

🔴Test-Driven Development

Loading more...