Today 11:20 at #ASE2025/#AgenticSE, we have Kuangxiangzi Liu show how to automatically turn natural language protocol specs into #Fandango formal specs, ready for massive automatic test generation: https://conf.researchr.org/details/ase-2025/agenticse-2025-papers/6/Transforming-Natural-Language-into-Formal-Specifications

And another student of mine, Bernd Gruner, presenting continuous data flow-based threat modeling with FlowStrider at #ASE2025

When you generate test inputs, how can you tell whether they pass or fail? Our BASHIRI tool learns such oracles with 95% accuracy - demo today at #ASE2025: https://conf.researchr.org/details/ase-2025/ase-2025-tool-demonstration-track/21/BASHIRI-Learning-Failure-Oracles-from-Execution-Features

Today at #ASE2025: “The fault in our stats”, or how the majority of notebooks fails to check even the most basic statistical assumptions

General Chair Shin Yoo opening ASE'25 in Seoul #ase25 #ase2025

On my way to Seoul, South Korea, visiting #ASE2025 and then continuing to Shenzhen and Hong Kong. See you soon!