ProvengoTech's profile picture. Helping humans and AIs create well behaved software systems.

Provengo Technologies

@ProvengoTech

Helping humans and AIs create well behaved software systems.

New version out, with many features and improvements. Locator healing, improved AI integration, powerful execution reports that will change how you make release Go/NoGo decisions. provengo.ai/post/early-aut… #FMWinterIsOver #DevTools #ModelBasedTesting #QATools #FormalMethods


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. content.provengo.tech/files/MBT.pdf


#CAST2025 here we come (to talk about Model-Based Testing and all)

ProvengoTech's tweet image. #CAST2025 here we come (to talk about Model-Based Testing and all)

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. youtu.be/ReuKboygXWs #devTools #QA #FormalMethods #FMWinterIsOver

ProvengoTech's tweet card. Introduction to Behavioral Programming on Provengo

youtube.com

YouTube

Introduction to Behavioral Programming on Provengo


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. …iationforsoftwaretesting.substack.com/p/cast-2025-sp… #QA #Automation #DevTools #FMWinterIsOver


For those who waited until we have a proper @MacHomebrew installer - the wait is over! youtube.com/watch?v=JKXW0d… provengo.tech/good-news-brew… (this tweet also applies to those who didn't wait, but still like a simple installation process for their Macs.) #FMWinterIsOver #Modeling

ProvengoTech's tweet card. Installing Provengo on MacOS

youtube.com

YouTube

Installing Provengo on MacOS


Our CTO @michbarsinai was a guest at the Breakthrough Innovation Podcast, talking about AI tools, why they need to be complemented with formal method tools, and other software engineering things. Thanks JL Heather and Preston Chandler for having him! provengo.tech/guest-appearan…


New version out, with updates to Selenium operations, Text messages and OTPs, to mention a few. Read more here provengo.tech/april-2025-edi…


You know it's a good day when... marketplace.visualstudio.com/items?itemName…


Our newest version is beautiful from the inside too - we've taken the time to repay some technical debts and clean some stuff up. Plus other niceties :-) provengo.tech/february-2025-… #ModelBased #FormalMethods #MBT #TestAutomation #QA #SDET #FMWinterIsOver


We always knew we're very VC-backable, but it's nice to hear it from someone else too :-) We're honored to receive the "Most VC-Backable Startup Award" at the VCIC's Undergraduate New England Event. vcic.org/michael-bar-si…


New version out. Loaded with new features, updated designs, and other goodies. Read more here: provengo.tech/2025-01-21-a-g… #ModelBasedTesting #Automation #DevTools #QA #QAAutomation


Provengo was featured in Weekly Innovations from Israel! See the conversation between Aron Brand and our CEO Dror Elad. linkedin.com/pulse/rethinki…


Our new IDE is out. New project view, easier access to config files, and generally a joy to use. Highly recommended, even if we say so ourselves. marketplace.visualstudio.com/items?itemName… #MODELBASED #MBT @Automation #QA #FMWinterIsOver

ProvengoTech's tweet image. Our new IDE is out. New project view, easier access to config files, and generally a joy to use. Highly recommended, even if we say so ourselves.

marketplace.visualstudio.com/items?itemName…

#MODELBASED #MBT @Automation #QA #FMWinterIsOver

Provengo Technologies 님이 재게시함

Did you miss out on this year's #OnlineTestConf? No worries - you can view all session recordings by the great speakers: @gil_zilberfeld, @Estherokafor_, @lisacrispin, @TestMetry, @joelmonte, @michbarsinai, @mikelyles (and more) right here - hubs.la/Q02Z21560

OnlineTestConf's tweet image. Did you miss out on this year's #OnlineTestConf? 
No worries - you can view all session recordings by the great speakers:
@gil_zilberfeld, @Estherokafor_, @lisacrispin, @TestMetry, @joelmonte, @michbarsinai, @mikelyles (and more) right here -  
hubs.la/Q02Z21560

For those who could not attend @PractiTest's #OnlineTestConf 2024 live, Michael's talk is now available online! It's a short talk about #ModelBasedTesting, and how it's the QA professional's next-level power tool. brighttalk.com/webcast/20608/…


Provengo Technologies 님이 재게시함

Next up on #OTC "Model Based Testing: A Powerful Way to QA" with @michbarsinai. Not too late to join this and all the rest of our sessions ​today - and we'll still share all session recordings you might have missed. hubs.la/Q02X43q70

OnlineTestConf's tweet image. Next up on #OTC "Model Based Testing: A Powerful Way to QA" with @michbarsinai. Not too late to join this and all the rest of our sessions ​today - and we'll still share all session recordings you might have missed. 
hubs.la/Q02X43q70

Loading...

Something went wrong.


Something went wrong.