2026년 5월 24일 100번 테스트 실행은 거짓말이다: Property-Based Test를 실제로 사이징하는 법 Property-based testing의 기본값인 100개 예제는 통계 전략이 아닌 사회적 타협이다. 자신의 신뢰도 요구사항과 CI 예산에 맞는 실행 횟수를 선택하는 방법을 알아보자. deep-divesproperty-based-testingtest-coverageshrinking
2026년 5월 23일 Rust의 Property-Based Test가 당신의 Unit Test가 놓치는 버그를 찾아낸다 Example-based testing은 당신이 생각해낸 입력만 커버한다. Property-based testing은 무작위 데이터를 생성하고, invariant를 검증하며, 실패를 최소한의 counterexample로 축소한다. deep-divesrustproperty-based-testingquickcheckproptest
2026년 5월 16일 AI Safety Stack: types, contracts, property tests, mutation gates AI-generated code를 production에서 버티게 하려면 code review만으로는 부족합니다. type constraints부터 mutation testing, runtime containment까지 layered safety stack이 필요합니다. ai-engineeringsafety-stacktypesdesign-by-contractproperty-based-testingmutation-testing
2026년 5월 15일 훌륭한 엔지니어링 아이디어가 AI가 경제성을 만들기 전까지 틈새에 머문 이유 Design by contract, property-based testing, mutation testing, model checking은 나쁜 아이디어가 아니었습니다. 지속적으로 운영하기에 필요한 전문성이 너무 무거웠을 뿐입니다. AI가 그 방정식을 바꿉니다. ai-engineeringsoftware-reliabilitydesign-by-contractproperty-based-testingmutation-testing
