🐛 Fuzzing - matmat · Scour

Metamorphic Testing: A New Approach for Generating Next Test Cases

dev.to·15h·

Discuss: DEV

🔍Concolic Testing

Khorikov Unit Testing Guide

binaryphile.com·1d

🧪Property-Based Testing

We Need Type Information, Not Stable ABI

blaz.is·13h

🔒Type Safety

HoneyTrap: Deceiving Large Language Model Attackers to Honeypot Traps with Resilient Multi-Agent Defense

arxiv.org·15h

🎯Interactive Provers

Devlog 2: The Importance of Sandboxing

garden-lang.org·22h·

Discuss: Lobsters, Hacker News

🛡️WASM Sandboxing

Patch Cisco ISE bug now before attackers abuse proof-of-concept exploit

theregister.com·2h

🧪Protocol Fuzzing

When Generated Tests Pass but Don't Protect: a case study in AI-written unit tests

dev.to·2d·

Discuss: DEV

🧪Property-Based Testing

The Case of the Moving Merge Base

hoelz.ro·5h

🕰️RetroCRDTs

Introduction to Formal Methods – Part 1

vikramsg.github.io·2d·

Discuss: Hacker News

✅Formal Methods

News for December 2025

ptreview.sublinear.info·2d

🧮Kolmogorov Complexity

goperf.dev·1d

🧮Compute Optimization

Researcher’s Notebook: Unpacking ‘pkr_mtsi’

reversinglabs.com·2d

🏺ZIP Archaeology

Why Most APIs Fail in AI Systems and How To Fix It

thenewstack.io·2h

🔒WASM Capabilities

haskellweekly.news·11h

🔗Functional Compilers

Where AI Systems Leak Data: A Lifecycle Review of Real Exposure Paths

praetorian.com·22h

🕳️Information Leakage

Unsupervised Learning NO. 511: Serious Supabase and n8n Vulns, WTH Happened in December with AI?, 19 Changes I See Coming to Cybersecurity in 2026

newsletter.danielmiessler.com·21m

Coupling from a big-O perspective

blog.ploeh.dk·3d

✨Algebraic Effects

Don't be afraid of Test-Driven Development

everydaysuperpowers.dev·3d

🧪Property-Based Testing

Rust is perfectly imperfect

0x80.pl·9h

🦀Embedded Rust

How to validate business logic

event-driven.io·2d

✅Format Verification

Loading more...