131개 테스트 기반 4계층 Eval Harness 구축을 통한 LLM 시맨틱 회귀 방지
I Built a 131-Test Eval Harness Before Writing New Features. Here's the Silent Failure It Caught.
LLM과 PBT 기반 Rust 리라이트로 SQL 파서 성능 70~454배 향상
I rewrote PostHog's SQL parser, 70x faster, while barely looking at the code
Line Coverage 90%의 함정을 넘어 5가지 Failure Class 중심의 검증 체계 구축
A green test suite proves less than you think
자동화 검증 전 '자동화 탐색' 단계 도입을 통한 미지의 결함 조기 발견
Automation Before Automation (ABA) — A Missing Phase in Modern Testing?
Jqwik 반AI 사건
Prompt Injection 로그 삽입을 통한 Agentic Coding 보안 취약성 증명
중복 검증 제거와 Dependency Inversion을 통한 고효율 Test Pyramid 구축
A Test Pyramid That Earns Its Confidence
Savings Band 시각화와 Hypothesis 검증을 통한 LLM Routing 비용 효율성 증명
A cost curve an SRE will actually read
Probabilistic LLM 출력을 Property-Based Testing으로 제어하는 검증 아키텍처
Testing AI-Powered Applications: Strategies for LLM Integration
Property-Based Testing 기반 AI 생성 명세 검증으로 28개 주장 중 27개 정밀 검증 성공
A Truth Filter for AI Output: An Experiment with Property-Based Testing
Antithesis가 Property-based testing을 웹 UI에 적용한 Bombadil을 개발해 자동 탐색을 통한 버그 조기 발견 가능
Bombadil: Property-based testing for web UIs by Antithesis