logo
experience reports

会议结果 (2)

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 更多

Haskell Workshop (HASKELL)

Rank: COffline
Singapore
Oct 16, 2025 - Oct 17, 2025
HaskellLanguage designTheory+8 更多