🔍 Concolic Testing - matmat · Scour

Augmenting unit test suites from integration tests 🧪Property-Based Testing

California’s wildlife bridge became a target for the right. Now it’s eyeing the finish line 📲Digitization

theguardian.com·8h

256 Lines or Less: Test Case Minimization 🧪Binary Fuzzing

matklad.github.io·5d·Lobsters, Hacker News, Hacker News

CFITSIO Fuzzing: Memory Corruptions and a Codex-Assisted Pipeline 🧪Binary Fuzzing

blog.doyensec.com·6d·r/netsec

Sage HR software review 🔐Capability Systems

·5d

Linux May Drop Old Network Drivers Now That AI-Driven Bug Reports Are Causing A Burden 🔍eBPF

phoronix.com·3d·Lobsters, r/linux

Mozilla Uses Anthropic's Mythos To Fix 271 Bugs In Firefox 🔓Hacking

news.slashdot.org·3d

SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution 🦀Rust Macros

Stateful Embedded Fuzzing with Peripheral-Accurate SystemC Virtual Prototypes 🧪RISC-V Fuzzing

How do I get texture and that umami hit without meat? 🧮Algorithmic Cooking

theguardian.com·4d

SAGE: Signal-Amplified Guided Embeddings for LLM-based Vulnerability Detection 🧪Binary Fuzzing

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs 🧪Binary Fuzzing

SAGE: Selective Attention-Guided Extraction for Token-Efficient 🎯Dependent Parsing

SAGE: Training-Free Semantic Evidence Composition for Edge-Cloud Inference under Hard Uplink Budgets 🧠Machine Learning

No more posts from matmat's subscribed feeds.

Scour all 24370 feeds Learn more about Feeds

Log in to enable infinite scrolling