🎲 Quickcheck - hello · Scour

An Iterative Test-and-Repair Framework for Competitive Code Generation 🧬Mutation Testing

arxiv.org·6d

Greg Kroah-Hartman Tests New 'Clanker T1000' Fuzzing Tool for Linux Patches 🐛Fuzzing

linux.slashdot.org·2d

Linux Kernel Developers Adopt New Fuzzing Tools 🐛Fuzzing

linuxjournal.com·5d

Is a Clanker Being Used to Carry Out AI Fuzzing in the Linux Kernel? 🐛Fuzzing

itsfoss.com·4d

MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis ✅Property Testing

arxiv.org·20h

Differentially Private Verification of Distribution Properties 🔒Differential Privacy

arxiv.org·20h

ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits 🐛Fuzzing

arxiv.org·5d

Program Analysis Guided LLM Agent for Proof-of-Concept Generation 🎭Program Synthesis

arxiv.org·4d

A Multi-Agent Framework for Automated Exploit Generation with Constraint-Guided Comprehension and Reflection 🛡️AI Security

arxiv.org·6d

Assessing REST API Test Generation Strategies with Log Coverage 🧬Mutation Testing

arxiv.org·5d

Planning to Explore: Curiosity-Driven Planning for LLM Test Generation 💬Prompt Engineering

arxiv.org·6d

Quantum Property Testing for Bounded-Degree Directed Graphs ⚛️Quantum Computing

arxiv.org·4d

Distributed Quantum Property Testing with Communication Constraints ⚛️Quantum Computing

arxiv.org·6d

Scaling Coding Agents via Atomic Skills ⚓Anchors

arxiv.org·6d

Content Fuzzing for Escaping Information Cocoons on Digital Social Media 🐛Fuzzing

arxiv.org·6d