Had a great time at #testformation2026, @tmmiamerica's webinar, talking about how #GenAI alone is not enough to navigate the many perils of a release map. One needs better guardrails, such as a #ModelBasedTesting tool. You know, like the one we make at Provengo.

#QA #Automation #Vibe_coding #FMWinterIsOver

Watch our CTO at a recent Innovate QA's meetup, discussing #ModelBasedTesting an advanced #QA methodology for our #AI future (a future that will also be full of #HashTags, we're told. Um, #told).

https://www.youtube.com/watch?v=6k5C6JSF9JU

#FormalMethods #Testing #Automation #FMWinterIsOver

Innovate QA Meetup: Model-Based Testing: The QA Power Tool You Might Want to Know

YouTube

Join Innovate QA and us and for a free webinar! On November 20th, we'll cover #ModelBasedTesting, a powerful approach to #QA that improves the day-to-day lives of QA teams, making them more agile, and deliver value faster and earlier.

https://meetup.com/innovate-qa-seattle-meetup-group/events/311874298/

#FMWinterIsOver #FormalMethods

Virtual: Model-Based Testing: The QA Power Tool You Might Want to Know, Thu, Nov 20, 2025, 12:00 PM | Meetup

Summary: Model-Based Testing (MBT) is a powerful QA methodology that allows QA to focus on required system behavior rather than specific scenario maintenance. QA teams comp

Meetup

New version out, with many features and improvements. Locator healing, revamped AI integration, and powerful execution reports that will change how you make release Go/NoGo decisions.

https://www.provengo.ai/post/early-autumn-late-release-notes

#FMWinterIsOver

#DevTools #ModelBasedTesting #QATools #FormalMethods

Early Autumn, Late Release Notes

Release notes for Oct 2025: Lots of new features, better robustness for your tests and for the app.

Provengo

We threw a PDF together explaining why #ModelBasedTesting is a good idea. It was quite easy because, well, #ModelBasedTesting is a good idea. If you're developing software systems, you should totally try this.

https://content.provengo.tech/files/MBT.pdf

This is your friendly reminder that #CAST2025, coming this August to the Salt Lake City near you, will be awesome.

In unrelated news, our CTO will be speaking there about #ModelBasedTesting.

https://associationforsoftwaretesting.substack.com/p/cast-2025-speaker-michael-bar-sinai

#QA #Automation #DevTools #FMWinterIsOver

CAST 2025 Speaker: Michael Bar-Sinai

Day 1 Track Session

Association for Software Testing
If #ModelBasedTesting is of interest, you may want to look at #AltWalker. It is one entry point to open source tools in this space. https://altom.gitlab.io/altwalker/altwalker/
Welcome to AltWalker’s documentation! — AltWalker 0.3.1 documentation

The talk now at #DevTalks is on #ModelBasedTesting, topic I was working on 20 years ago. The speaker’s title promises one trillion dollars savings a year. I have to say that while I like MBT these sales talks don’t add to my enthusiasm.

🤔 „Es muss doch für die Testfallerstellung eine bessere Methode geben, als sich jeden Testfall einzeln auszudenken und aufzuschreiben?“ ▶ In diesem Webinar erfahren Sie von unserem Experten Dr. Martin Beißer, wie Sie auf sehr intuitive Weise für ein Testprojekt ein Testmodell erstellen und daraus auf Knopfdruck die Testfälle generieren können.

📅 17. Mai 2023
🕙 10:00 Uhr
🔗 https://seppmed.webex.com/weblink/register/rb3d511464234845e677bd608a4821004

#softwaretest #webinar #modelbasedtesting

Meet virtually with Cisco Webex. Anytime, anywhere, on any device.

Simple, modern video meetings for everyone on the world's most popular and trusted collaboration platform.

Cisco Webex Site