연구진은 동시 상태 Rust API 테스트 생성을 위한 페트리 네트 기반 LLM 활용 방법을 제시했어요. API의 리소스, 상태, 의존성을 페트리 네트로 표현하고, 이를 기반으로 LLM이 테스트 코드를 생성하도록 유도했어요.
페트리 네트는 합법적인 깊은 상태 시나리오를 도출하고, LLM이 생성한 코드가 API의 사전 조건을 위반하지 않도록 제약 조건을 부여해요. 구조적 수리 루프를 통해 모델의 의도를 보존하고, 고충돌 동시성 스켈레톤을 우선적으로 탐색해요.
연구 결과, 페트리 네트 기반 방법은 기존 LLM 테스트 생성 방식보다 API의 동시성 문제를 더 잘 포착하고, 테스트의 깊이와 신뢰도를 높이는 데 기여하는 것으로 나타났어요.