> ## Content Index > Fetch the complete content index at: https://softwaretestingweekly.com/llms.txt > Use this file to discover other available public pages before exploring further. # Issue #334 - URL: https://softwaretestingweekly.com/issues/334/ - Published: 2026-11-09T08:00:00.000Z - Updated: 2026-11-09T08:00:00.000Z - Description: Is AI making formal software verification feasible? 🤔 - Author: Dawid Dylowicz | ![Dawid Dylowicz](https://storage.ghost.io/c/0c/e4/0ce4792b-e2e5-4f1a-9f93-b88f3b823672/content/images/2026/04/profile.png) Comment | | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | Welcome to the **334th** issue!I found this read from Anthropic on formal software verification:[LLMs are making formal software verification feasible at a much larger scale](https://www.anthropic.com/research/formal-verification?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)*"Just like static types, testing frameworks, and other correctness tooling, verification will mature from "bolted-on" to "built-in", driven not only by LLMs but also by innovations in language design and development workflows."*It matches what I've been thinking lately about testing in general.We avoided big test suites because they were flaky and hard to maintain, and that was the right call. Exhaustive testing was simply too expensive.AI is changing that. It's not perfect, but with significantly cheaper maintenance, we can add more checks on top.But more checks only help if they verify the right thing. That's still our job.Happy testing! 🙂*[Dawid Dylowicz](https://www.linkedin.com/in/dawid-dylowicz/?ref=softwaretestingweekly.com)* | | | | Sponsored [Manual Testing, Test Automation... Meet Agentic Execution](https://my.lynqa.smartesting.com/register?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=paid%5Fnewsletter&utm%5Fcampaign=top%5Fsponsorship%5Fnov2026&utm%5Fcontent=your%5Ftest%5Fcases%5Fexecuted%5Fby%5Fai)Manual execution takes time. Scripted and AI-assisted automation often require a separate test suite. **[Lynqa](https://www.smartesting.com/en/lynqa/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=paid%5Fnewsletter&utm%5Fcampaign=top%5Fsponsorship%5Fnov2026&utm%5Fcontent=your%5Ftest%5Fcases%5Fexecuted%5Fby%5Fai)** takes a different path: its AI agent executes your natural-language web test cases using your existing test management tools, like Xray... No scripts to build or maintain. [Create your free account and try 10 test executions free](https://my.lynqa.smartesting.com/register?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=paid%5Fnewsletter&utm%5Fcampaign=top%5Fsponsorship%5Fnov2026&utm%5Fcontent=your%5Ftest%5Fcases%5Fexecuted%5Fby%5Fai).[my.lynqa.smartesting.com](https://my.lynqa.smartesting.com/register?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=paid%5Fnewsletter&utm%5Fcampaign=top%5Fsponsorship%5Fnov2026&utm%5Fcontent=your%5Ftest%5Fcases%5Fexecuted%5Fby%5Fai) | | [Reach **9,274** software testers with a sponsored link →](https://softwaretestingweekly.com/sponsorship) | | | | News | | [Agentic engineering: The controls aren't enough](https://qualityeng.substack.com/p/ae-the-controls-arent-enough?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)[Jitesh Gosai](https://www.linkedin.com/in/jitgo/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) describes how to control what agents do and suggests we start small and learn what works instead of trusting them by default when they say they've finished.Moreover, [Rachel Laycock](https://www.linkedin.com/in/rachellaycock/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) wonders: [Why are good developers so wary of agentic development?](https://martinfowler.com/rachels-ramblings/good-devs-wary.html?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)[qualityeng.substack.com](https://qualityeng.substack.com/p/ae-the-controls-arent-enough?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | [Is it dangerous when AI judges human work without guardrails?](https://medium.com/@ramellabasenko/the-review-nobody-did-is-it-dangerous-when-ai-judges-human-work-without-guardrails-8b8d72601822?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)We often check what AI writes for us. But what if AI reviews our work? [Ramella Basenko](https://www.linkedin.com/in/ramella-basenko/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) shares a story from a project and suggests what guardrails we should implement.Moreover, [Josphine Job](https://www.linkedin.com/in/josphine-j-qalead/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) wrote two good articles on [What Happens to Your QA Brain Every Time You Reach for AI First](https://medium.com/illumination/what-happens-to-your-qa-brain-every-time-you-reach-for-ai-first-f9c97b68e13f?sk=4272fe7efc569b71a488542fc4056289&utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) and [Why My Agentic Test Pipeline Is Not Exploratory Testing](https://medium.com/@tojosphine/why-my-agentic-test-pipeline-is-not-exploratory-testing-b5e78e11f8bc?sk=c632a8802de9f0c10a5ae28c3ec47ba5&utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334).[medium.com](https://medium.com/@ramellabasenko/the-review-nobody-did-is-it-dangerous-when-ai-judges-human-work-without-guardrails-8b8d72601822?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | [My company is building an AI QA agent and I'm starting to think I'm literally automating myself out of a job](https://www.reddit.com/r/QualityAssurance/comments/1xgy8zt/my%5Fcompany%5Fis%5Fbuilding%5Fan%5Fai%5Fqa%5Fagent%5Fand%5Fim/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)A tester on Reddit helps build an AI agent that may soon do most of their job. Others in the thread share what happened when their company tried the same thing.And there are more related conversations:[Any other QA folks laid off because of AI?](https://www.reddit.com/r/QualityAssurance/comments/1xlf2k3/any%5Fother%5Fqa%5Ffolks%5Flaid%5Foff%5Fbecause%5Fof%5Fai%5For%5Forg/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)[For people who hire QA, what on a resume makes you stop reading](https://www.reddit.com/r/QualityAssurance/comments/1xjemci/for%5Fpeople%5Fwho%5Fhire%5Fqa%5Fwhat%5Fon%5Fa%5Fresume%5Fmakes%5Fyou/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)[reddit.com](https://www.reddit.com/r/QualityAssurance/comments/1xgy8zt/my%5Fcompany%5Fis%5Fbuilding%5Fan%5Fai%5Fqa%5Fagent%5Fand%5Fim/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | [Testing in the Agentic Era](https://medium.com/@richard.vandelaarschot/testing-in-the-agentic-era-1c5ecfe20ff8?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)[Richard van de Laarschot](https://www.linkedin.com/in/richardvandelaarschot/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) shows why verification is the new bottleneck and how a smaller, clearer test suite can help with agentic development.Similarly, [Vineet Verma](https://www.linkedin.com/in/vineetvermaqa/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) looks at how [70% of Testers Use AI to Write Test Cases. Only 20% Use It to Find Risk](https://medium.com/@vineetverma%5F96127/70-of-testers-use-ai-to-write-test-cases-only-20-use-it-to-find-risk-a3606571a620?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334).[medium.com](https://medium.com/@richard.vandelaarschot/testing-in-the-agentic-era-1c5ecfe20ff8?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | [Want to Improve Your QA Process? Start by Interviewing the People Around You](https://medium.com/@marinacruzjordao/want-to-improve-your-qa-process-start-by-interviewing-the-people-around-you-86c38baf2dcf?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)Most of us try to improve our testing process from our own desk. [Marina Jordão](https://www.linkedin.com/in/marina-jord%C3%A3o-b4485734/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) suggests talking to developers, product managers and tech leads first, including questions to ask each group.At the same time, [Alex Stetcenko](https://medium.com/@alex.stetcenko?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) describes [Several teams, one small test automation group: why quality is a team sport](https://medium.com/@alex.stetcenko/several-teams-one-small-test-automation-group-why-quality-is-a-team-sport-b3ed9e3efe66?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334).[medium.com](https://medium.com/@marinacruzjordao/want-to-improve-your-qa-process-start-by-interviewing-the-people-around-you-86c38baf2dcf?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | | | Automation | | [Contract testing implementation challenges](https://www.ontestautomation.com/contract-testing-implementation-challenges/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)Thinking about contract testing? [Bas Dijkstra](https://www.linkedin.com/in/basdijkstra/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) shares what often goes wrong when you start with contract testing, from picking Pact too early to dropping end-to-end tests.Additionally, [Gal Arav](https://www.linkedin.com/in/galarav/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) continues the series with [Towards Spec-Driven Test Automation: Part 3](https://towardsdatascience.com/a-google-team-measured-half-of-my-argument-and-left-the-other-half-open/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334).[ontestautomation.com](https://www.ontestautomation.com/contract-testing-implementation-challenges/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | [How I Used AI to Fix a Large Number of Failing Tests, Then Build an Action Plan for the Code Smells Behind Them](https://medium.com/@knamduri/how-i-used-ai-to-fix-a-large-number-of-failing-tests-then-build-an-action-plan-for-the-code-smells-7a7bde45ad92?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)Many of us have a big UI suite full of failing tests. [Kavitha Namduri](https://www.linkedin.com/in/kavithanamduri/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) explains how to use an AI agent to group failures by root cause and fix them while maintaining coverage.On that note, [Indra Aristya](https://www.linkedin.com/in/indraaristya/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) describes what happens [When AI Makes Automation Suite Harder to Maintain](https://medium.com/@indraaristya/when-ai-makes-automation-suite-harder-to-maintain-0192e9d010e8?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334).[medium.com](https://medium.com/@knamduri/how-i-used-ai-to-fix-a-large-number-of-failing-tests-then-build-an-action-plan-for-the-code-smells-7a7bde45ad92?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | [Teaching the Agent to Hunt: What We Tested and What Didn't Change \[Part 2\]](https://shiftsync.tricentis.com/software-testing-blogs-69/teaching-the-agent-to-hunt-what-we-tested-and-what-didn-t-change-part-2-3000?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)An interesting experiment by [Ujjwal Kumar Singh](https://www.linkedin.com/in/ujjwal-k-singh/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) trying to see how effective an agent can be in exploratory testing. It found single-input bugs easily but almost never found timing bugs. You can also catch up on [part 1](https://shiftsync.tricentis.com/software-testing-blogs-69/teaching-the-agent-to-hunt-why-execution-alone-will-never-produce-exploratory-testing-2956?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334).Furthermore, [Amr Salem](https://www.linkedin.com/in/amrsalem1/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) outlines how to get from [AI Agent Anatomy to Reliable QA Use Cases](https://medium.com/@Amr.sa/ai-agent-anatomy-to-reliable-qa-use-cases-2c06803d7e15?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334).[shiftsync.tricentis.com](https://shiftsync.tricentis.com/software-testing-blogs-69/teaching-the-agent-to-hunt-what-we-tested-and-what-didn-t-change-part-2-3000?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | [The Test Automation Pyramid Is Dead. Here's What I Use Instead.](https://medium.com/@alwaysonlabs/the-test-automation-pyramid-is-dead-heres-what-i-use-instead-7f6292f75452?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)A good test ratio may not tell you whether you test the right things. [John Ringler](https://www.linkedin.com/in/johnringler/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) describes how to pick each test level by risk, followed by an explanation of why [The Hardest Part of Test Automation Is Deciding What Not to Automate](https://medium.com/@alwaysonlabs/the-hardest-part-of-test-automation-is-deciding-what-not-to-automate-b0735b67e5b1?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334).[medium.com](https://medium.com/@alwaysonlabs/the-test-automation-pyramid-is-dead-heres-what-i-use-instead-7f6292f75452?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | [Your AI agent fixed the bug, but what else did it change?](https://blog.trailofbits.com/2026/10/21/your-ai-agent-fixed-the-bug-but-what-else-did-it-change/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)A helpful article from [Anish Naik](https://www.linkedin.com/in/anish-naik-39307413b/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) and [Marcelo Morales](https://www.linkedin.com/in/mathcelo/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) on using two AI agent plugins: one for fixing reported bugs and the other for checking if the fix introduced any new regression.In relation to that, [Anton Gulin](https://www.linkedin.com/in/antongulin/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) asks: [What should an AI code review read?](https://www.anton.qa/blog/posts/what-should-an-ai-code-review-read?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)[blog.trailofbits.com](https://blog.trailofbits.com/2026/10/21/your-ai-agent-fixed-the-bug-but-what-else-did-it-change/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | | | Tools | | [Playwright 1.64: Stop Trusting Green Tests — Use Shuffle to Expose Hidden Dependencies](https://medium.com/@svetlana.tretjakova/playwright-1-64-stop-trusting-green-tests-use-shuffle-to-expose-hidden-dependencies-63792b646bc9?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)Does your test suite pass only in one order? [Svetlana Tretjakova](https://www.linkedin.com/in/svetlana-tretjakova-93147b136/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) describes how to find hidden dependencies with a \--shuffle option in [Playwright](https://playwright.dev/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) and fix them.Moreover, [Saqib Jan](https://www.linkedin.com/in/s-jan?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) wrote about locators in [So Enterprise Playwright Suites Are Running the Locator Hierarchy in Reverse](https://javascript.plainenglish.io/so-enterprise-playwright-suites-are-running-the-locator-hierarchy-in-reverse-50cb6d827916?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334).[medium.com](https://medium.com/@svetlana.tretjakova/playwright-1-64-stop-trusting-green-tests-use-shuffle-to-expose-hidden-dependencies-63792b646bc9?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | [What it takes to build a testing harness](https://www.mabl.com/blog/testing-harness-vs.-coding-harness-why-it-matters-mabl?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)[Lauren Leidal](https://www.linkedin.com/in/lauren-clayberg/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) compares a coding harness with a testing harness for AI agents and says why the same model finds more bugs in the second one. You can also read the second part on [Scaling testing agents across a company](https://www.mabl.com/blog/scaling-testing-agents-across-the-enterprise?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334).[mabl.com](https://www.mabl.com/blog/testing-harness-vs.-coding-harness-why-it-matters-mabl?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | [When should agents use browser or desktop automation?](https://vercel.com/i/browser-vs-desktop-automation?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)[Ben Sabic](https://www.linkedin.com/in/bensabic/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) from Vercel has just announced the [agent-desktop](https://github.com/vercel-labs/agent-desktop?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) — a new solution that controls desktop apps on macOS, Windows and Linux. This guide explains when to use it compared with the previously released [agent-browser](https://github.com/vercel-labs/agent-browser?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334).[vercel.com](https://vercel.com/i/browser-vs-desktop-automation?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | [Why Your Test Suite Is Slow: 10 Ways to Cut Cypress and Playwright Runtime Without Losing Coverage](https://medium.com/@alwaysonlabs/why-your-test-suite-is-slow-10-ways-to-cut-cypress-and-playwright-runtime-without-losing-coverage-43637faed9d1?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334)Struggling with slow end-to-end tests? [John Ringler](https://www.linkedin.com/in/johnringler/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) shows where the time goes in [Cypress](https://www.cypress.io/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) and [Playwright](https://playwright.dev/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) runs and how to cut execution time.Also, [Jennifer Shehane](https://www.linkedin.com/in/jennifer-shehane/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) gives advice on [How to choose the right Cypress plugins for your project](https://www.cypress.io/blog/how-to-choose-the-right-cypress-plugins-for-your-project?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334).[medium.com](https://medium.com/@alwaysonlabs/why-your-test-suite-is-slow-10-ways-to-cut-cypress-and-playwright-runtime-without-losing-coverage-43637faed9d1?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) | | | | And… | | [Si++...](https://www.reddit.com/r/ProgrammerHumor/comments/1xp9fts/spanishprogramminglanguage/?utm%5Fsource=softwaretestingweekly&utm%5Fmedium=email&utm%5Fcampaign=issue-334) 😂 | | | | Thanks for reading!If you enjoy this newsletter and find it helpful in becoming a better tester, please consider sharing it with others.*[Dawid Dylowicz](https://www.linkedin.com/in/dawid-dylowicz/?ref=softwaretestingweekly.com)* |