symbolic-execution

94% 테스트 커버리지도 놓친 정수 오버플로우를 symbolic execution이 찾아냈습니다

unit tests는 특정 입력을 검증합니다. symbolic execution은 모든 가능한 입력을 검증합니다. 작동 방식, 비용, 시작 방법을 알아보세요.