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.
Great news everyone! Our plugins are now available at Open-VSX, so you can use them with Cursor, Antigravity, Windsurf, and other editors that support .vsx extensions!
Get'em here:
https://open-vsx.org/namespace/Provengo
New release! It's also a better one, not just new. We improved some features and squashed some bugs. And improved documentation based on used feedback. Good stuff, even if we say so ourselves.
We start 2026 off with a series of updates, improvements, and generally makeing-our-tool-better activities. Becase, you know, work tools should be something you can count on (hot take, we know).・ Improvements to the ScenarioUtils library.・ Better documentation, especially for: ・ report subcommand ・ Combi Library ・ ScenarioUtils library・ Improved dark mode・ Improved logging・ gen-book: ・ Scenario names are now based on scenario content by default ・ Improved layout and styling ・ Run source can be p
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).
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/
The most powerful QA automation tool out there got a functionality boost, just in time for November. Get the full scoop (and some unfortunate poetry) here:
https://www.provengo.ai/post/it-must-be-november-since-our-november-release-is-out
#ModelBasedSE #DevTools #QAAutomaion #Automation #FMWinterIsOver
Release notes 2025-11-06The leaves change their colorsCups of coffee chains tooWe have a new release outIt's just that kind of thing we do(No photoshoping was used for the above picture - these are trees next to our US office)In this release: • Our new reports got a warm welcome (we get it, they are very good indeed ). This version adds resilience for certain errors (thanks, Miriam!), dark mode, and improved graphic design. • Our Constrains library is now formally verified for not affecting p
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
Oh, look, an explainer video on the formal method underlying our tool suite! Plus a bit more stuff. But really a bit, it's mostly about the formal method underlying our tool suite. Did I mention our tool suite, and the formal method underlying it, and the new video explaining these?
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
Provengo
