logo
Formal verification

نتایج کنفرانس‌ها (1)

International Conference on Software Testing, Verification and Validation (ICST)

Rank: AOffline
Naples, Italy
Mar 31, 2025 - Apr 4, 2025
AI-assisted software testingAutomated test generationFormal verification+35 بیشتر