🏆 Our researcher, Alessandra Gorla, has received the Most Influential Paper Award at #ASE2025 for her work “Automated Test Input Generation for Android: Are We There Yet?”. Congratulations!
👉 Read the full story on our website: c.madrid/1s6q8
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 […]
[Original post on mastodon.social]
Grateful for our amazing program and organizing committee members who are helping shape AIware 2025! 🌸
#AIware #AI #SoftwareEngineering #ASE2025
AIware 2025 is happening now! If you are at #ASE2025, join us in Grand Hall 1 ✨
💡 In the opening, we highlighted the diversity of the research we received from academia and industry across many countries.
Banquet room with ASE XL on the screen
Banquet room full of people
Indeed an XL version of an ASE banquet. @aseconf.bsky.social #ase2025
Thrilled to hit 100% attendance coverage of major SE conferences (ICSE '24, FSE&ISSTA '25, ASE '25).
Having my birthday today feels like resetting the fuzzing cycle for a new campaign! 🎂
I’m around until Thursday morning with #ASE2025 volunteer hoodie. If you spot my badge, please come say hi! 👋
#ASE2025 is happening in Korea now!
This year, ASE received a record-breaking 1161 submissions, nearly double the number in the previous year. As a result, the acceptance rate goes to 20.83%-only 246 work got accepted.
When preparing new submissions, don't foget to check openaccept.org first.
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: conf.researchr.org/details/ase-2025/ase-202...
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 @aseconf.bsky.social: conf.researchr.org/details/ase-...
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!
Interested in scaling up vulnerability detection, security posture and developer productivity? Join me next week on Tuesday 18th in Seoul, Korea at #ASE2025!
Thank you to EVERYONE who made #ASE2025 so impactful! We celebrated our #ASE50th anniversary, surrounded by thousands of incredible individuals from the echo community. 🫀
Enjoy the full #ASE2025 recap video on our YouTube channel.
bit.ly/48MZNdB
🎙️ #ASE2025 Keynote Speaker Series (2 of 3)
Dr. Cristina Cifuentes, Vice President @ Oracle Software Assurance
“Oracle Parfait – Detecting Application Vulnerabilities at Scale – Past, Present and Future”
🎙️ #ASE2025 Keynote Speaker Series (1 of 3)
What do symbolic model checking, path profiling, and quantum simulation have in common? 🤔
Find out from Prof. Reps (University of Wisconsin-Madison) in his ASE2025 Keynote “We Will Publish No Algorithm Before Its Time”!
conf.researchr.org/track/ase-20...
Meet Eunkyoung, Yasutaka’s fellow Tutorials Co-Chair of #ASE2025! She’s a Research Associate Professor at KAIST, passionate about verification, testing, and analysis techniques for software safety. She also finds joy in singing outside of research! 🎤
The early bird registration for #ASE2025 is still open!
📅 Early deadline: Oct 15, 2025
🧾 Regular deadline: Nov 2, 2025
All accepted papers must have at least one regular (non-student) registration for inclusion in the proceedings.
👉 Details: conf.researchr.org/attending/ase-2025/registration
Check out this excellent article by Dave Fornell of Cardiovascular Business about our #ASE2025 Scientific Sessions! bit.ly/46LEGXH
🫀NEW PRODUCT🫀
Capture the insights and highlights from our #ASE2025 Scientific Sessions with this comprehensive online library!
These recordings include all keynote sessions, panel discussions, and special presentations. Shop now: bit.ly/42yCQqC
Over at the Ethnohistory conference, we've met @uncpress.bsky.social author Susan Sleeper-Smith, pictured below with one of her two UNC books, Indigenous Prosperity and American Conquest. #ASE2025
From the Stó:lō Nation in British Columbia to the Shawnee and Miami tribes in Oklahoma, Ohio, and Indiana, REPLANTING CULTURES offers powerful case studies and practical models for ethical, community-driven scholarship.
#ASE2025 #ReadUP tinyurl.com/mrbeumt5
#ASE2025 visit our virtual booth to explore new & recent titles in #ethnohistory and save 30% with code SASET25 through November 12, 2025.
#ReadUP tinyurl.com/59xcahw8
Our American Society for Ethnohistory exhibit is open in the beautiful Coates Chapel. We've got books from University of Arizona Press, @dumbartonoaks.bsky.social , @pennpress.bsky.social, @princetonupress.bsky.social, @tamupress.bsky.social and more! #ASE2025
Advances in Fixing Resource Leaks with Wrapper-Aware Tools
Automated repair tools now close wrapper‑based resource leaks, boosting fix rates from 41% to 68% on the NJR benchmark, according to a study presented at ASE 2025. Read more: getnews.me/advances-in-fixing-resou... #resourceleaks #automatedrepair #ase2025
Interrupted by LSP crashes when coding? We built LSPFuzz (with #LibAFL) to help catch these bugs before they are shipped to you!
Check out our #ASE2025 paper: LSPFuzz: Hunting Bugs in Language Servers.
📄 Preprint: aka.henryhc.net/lspfuzz-paper
📦 Code: github.com/henryhchchc/...
Meet Yasutaka Kamei, Tutorials Co-Chair at #ASE2025! Bridging AI and Software Engineering is his passion 💫
When he’s not researching, you might find him deep in a game of Shogi or Chess :-)
Meet Yunja Choi, Workshops Co-Chair of #ASE2025! 🌟
She’s a professor at KNU working on formal methods — model checking, abstraction, and synthesis. Outside academia, she enjoys Zumba 💃 🎶!
