BitsLab의 프로젝트인 MoveBit은 Move 스마트 계약 테스트를 향상시키기 위해 설계된 퍼징 프레임워크인 Belobog를 소개했습니다. arXiv에 게재된 논문에서 자세히 설명된 Belobog는 Move 언어의 타입 시스템을 활용하여 유효한 트랜잭션 시퀀스를 생성함으로써 버그 탐지를 크게 향상시킵니다. 109개 프로젝트를 대상으로 한 테스트에서 이 프레임워크는 치명적인 버그의 100%와 주요 버그의 79%를 식별했습니다. 현재 Belobog는 오픈 소스이며 2026년 프로그래밍 언어 설계 및 구현(PLDI) 학회에서 심사 중에 있습니다.