#ase2025 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ase2025, aggregated by home.social.
-
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
-
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
-
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
-
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
-
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
-
And another student of mine, Bernd Gruner, presenting continuous data flow-based threat modeling with FlowStrider at #ASE2025
-
And another student of mine, Bernd Gruner, presenting continuous data flow-based threat modeling with FlowStrider at #ASE2025
-
And another student of mine, Bernd Gruner, presenting continuous data flow-based threat modeling with FlowStrider at #ASE2025
-
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
-
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
-
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
-
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
-
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
-
Today at #ASE2025: “The fault in our stats”, or how the majority of notebooks fails to check even the most basic statistical assumptions
-
Today at #ASE2025: “The fault in our stats”, or how the majority of notebooks fails to check even the most basic statistical assumptions
-
Today at #ASE2025: “The fault in our stats”, or how the majority of notebooks fails to check even the most basic statistical assumptions
-
Today at #ASE2025: “The fault in our stats”, or how the majority of notebooks fails to check even the most basic statistical assumptions
-
-
-
-
-
-
On my way to Seoul, South Korea, visiting #ASE2025 and then continuing to Shenzhen and Hong Kong. See you soon!
-
On my way to Seoul, South Korea, visiting #ASE2025 and then continuing to Shenzhen and Hong Kong. See you soon!
-
On my way to Seoul, South Korea, visiting #ASE2025 and then continuing to Shenzhen and Hong Kong. See you soon!
-
On my way to Seoul, South Korea, visiting #ASE2025 and then continuing to Shenzhen and Hong Kong. See you soon!
-
On my way to Seoul, South Korea, visiting #ASE2025 and then continuing to Shenzhen and Hong Kong. See you soon!