2026년 8월 15일 LLM은 Metamorphic Relation을 제안할 수 있다. 하지만 보장할 수는 없다. 대규모 언어 모델은 test oracle 발견을 위한 괜찮은 브레인스토밍 파트너이지만, 속성을 환각하고 도메인 제약을 놓칩니다. 거짓 테스트를 배포하지 않고 이들을 사용하는 방법을 설명합니다. metamorphic-testingllmtest-oraclesai-engineering
2026년 8월 14일 대부분의 Metamorphic Relation은 쓸모없다. 좋은 것을 고르는 방법. 모든 metamorphic relation이 버그를 잡아내는 것은 아닙니다. 약한 relation은 거짓 자신감을 주고, 강한 relation만이 실제 결함을 찾습니다. 차이를 구분하고 실제로 작동하는 relation 집합을 구축하는 방법을 설명합니다. metamorphic-testingmetamorphic-relationstestingoracle-problem
2026년 8월 13일 정답을 모를 때 코드를 어떻게 테스트할까? metamorphic testing은 정확한 예상 출력을 알지 못해도 코드의 정확성을 검증할 수 있게 해줍니다. 작동 방식, 한계, 그리고 시작하는 방법을 설명합니다. metamorphic-testingoracle-problemtestingml
2026년 8월 12일 TypeScript가 막아주는 잘못된 호출: Type System으로 Protocol State 인코딩하기 phantom type과 `this` 파라미터를 사용하여 잘못된 protocol 전이를 런타임 버그 대신 컴파일 타임 오류로 바꾸는 방법. session-typestypescriptprotocol-statetype-systems
2026년 8월 11일 OpenAPI가 주는 건 알파벳뿐, Session Type이 필요한 건 문법이다 OpenAPI spec은 요청과 응답 schema를 기술하지만, 유효한 메시지 순서는 명시하지 않습니다. 여기서 OpenAPI가 줄 수 있는 것을 추출하는 방법과 여전히 직접 채워야 할 공백이 있는 부분을 설명합니다. session-typesopenapiprotocol-specsapi-design
2026년 8월 10일 세션 타입은 작동한다. 대부분의 언어가 단지 구현을 거부했을 뿐이다. 세션 타입은 통신 프로토콜을 타입 시스템에 인코딩하여 런타임 프로토콜 오류를 컴파일 시간 오류로 변환한다. 프로덕션 코드가 사용할 수 있게 되기까지 연구 논문에서 30년을 보낸 이유는 다음과 같다. session-typesresearchadoptiontype-systems
2026년 8월 9일 세션 타입이 deadlock을 컴파일러 오류로 바꾸는 방법 세션 타입은 통신 프로토콜을 타입 시스템에 인코딩하여 코드가 실행되기 전에 메시지 전달 불일치를 컴파일러 오류로 변환한다. session-typesdeadlockscompile-timeprotocols
2026년 8월 8일 abstract interpretation은 박사 학위가 필요한 것처럼 들린다. 더 이상 그렇지 않다 Infer를 사용하여 CI 파이프라인에서 형식적 정적 분석을 실행하는 방법. 작동하는 설정과 현실적인 트레이드오프를 소개한다. abstract-interpretationci-cdstatic-analysisinfer
2026년 8월 7일 LLM은 정적 분석 경고를 우선순위화할 수 있다. 다만 왜인지는 설명할 수 없다 대규모 언어 모델은 정적 분석의 false positive을 선별하는 데 도움이 되지만, abstract interpretation처럼 프로그램의 의미론을 이해하는 것은 아니다. 두 가지를 결합하는 방법을 설명한다. abstract-interpretationllmstatic-analysisfalse-positives
2026년 8월 6일 Facebook은 abstract interpretation으로 Android를 병렬화했다. 작동 방식은 다음과 같다. Facebook이 어떻게 abstract interpretation과 의도적인 unsoundness를 사용하여 수백만 줄의 Android 코드에서 race condition을 대규모로 발견했는가. abstract-interpretationconcurrencyandroidrace-conditions
