Feeds

모든 것은 어떤 것에 유용하다: 반례 유도 방향 퍼징을 통한 가능성 있는 불변 추론

Summary

이 논문은 반례 유도 방향 퍼징(Counterexample-Guided Directed Fuzzing) 기법을 통해 소프트웨어의 불변성을 추론하는 방법을 제안합니다. 저자들은 이 방법이 소프트웨어의 안전성을 향상시키는 데 어떻게 기여할 수 있는지를 설명하며, 실험 결과를 통해 이 기법의 효과를 입증합니다. 이 연구는 소프트웨어 테스트 및 검증 분야에서 중요한 기여를 할 것으로 기대됩니다.

Content

Everything is Good for Something: Counterexample-Guided Directed Fuzzing via
Likely Invariant Inference - https://nebelwelt.net/files/24Oakland2.pdf
Made with Slashpage