🧪 Automated Testing - Jullang · Scour

‘It’s Not a Joke’: A ‘Simpsons’ Writer Holds His First Presidential Campaign Rally

🔗Dependent Types News

wired.com··Hacker News

110 QA checks in one scan, auto-fix PR for what it finds

🔍Static Analysis

gatetest.ai··Hacker News

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

🧩Monads Academic

Is Waterfall Coming Back? Sort Of. Not Really. Both — And the Bigger Question Underneath.

⚙️CompTime Blog

blog.herlein.com·

Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps

🎲Property Testing Academic

Famous JMW Turner painting set to fetch up to £600,000 at auction

⚡Cache Optimization News

the-independent.com·

Layer-Isolated Evaluation: Gating the Deterministic Scaffold of a Production LLM Agent with a No-LLM, Regression-Locked Test Harness

🎲Property Testing Academic

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

✓Formal Verification Code

github.com··Hacker News

The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface

🏗️Compiler Design Academic

STMutants: A Mutation Testing Dataset for Structured Text Programs in Industrial Automation

🔍Static Analysis Academic

TestMap: Evidence Infrastructure for Foundation-Model-Assisted Test Generation

🎲Property Testing Academic

bdfinst/agentic-dev-team

🔍Static Analysis Code

Log in to enable infinite scrolling