Software Testing as a Multi-Armed Bandit Problem
ocram575.substack.com · 3,318 words · saved by 1 readers
approaching software testing using adaptive sampling techniques
Recently delved into the rabbit hole of software verification, after listening to Jane Street’s Signals & Threads with Ron Minsky and Antithesis CEO’s Will Wilson. I would highly recommend checking out the podcast in general, they truly have something for everyone. This episode in particular introduced Antithesis’s goal of solving software verification for any generic piece of software or software system. Someone who might be familiar with the theory of computation and Church-Turing Thesis can already see a problem with this in the form of the halting problem which is incomputable. As…
saved by
related reading
- Software Engineering fundamentals matter more than everrhonabwy.com
- There's no reason for software to be slow anymoredanluu.com
- The Multi-Armed Bandit Problem and Its Solutions | Lil'Loglilianweng.github.io
- Computers can be understood - Made of Bugsblog.nelhage.com
- Debugging Reinforcement Learning Systemsandyljones.com
- Thoughts on the software industry | linus.coffeelinus.coffee
- Building an open-source version of Antithesis, Part 1: Understanding the deterministic simulation testing ecosystemdatabases.systems
- Reading 2: Testingweb.mit.edu
- Testing robotics systems in fast-paced startups | Michael Jae-Yoon Chungmjyc.github.io
- Software Engineering at Googleabseil.io
- The Bayes Banditfrancesco215.github.io
- Competing with sampling — Alignment Research Centeralignment.org