검증(Verification)

해당 논문은 2023년 한국항공우주학회 춘계학술대회에서 발표되었던 논문입니다. 항공소프트웨어 안전성 검증을 위한 강건성 테스팅 방안 장정훈, 강유선, 김도연 (주)모아소프트 A Robustness…