Dev.toProperty-Based Testing 기반 AI 생성 명세 검증으로 28개 주장 중 27개 정밀 검증 성공A Truth Filter for AI Output: An Experiment with Property-Based TestingAI/MLadvanced51 분 소요2026년 4월 19일