Skip to main content

Search...

Podcast Software Testing : Page 7 of 13

Latest Episodes

Conversations with testers, developers, and coaches who work in the field.

Testing Trends: Testing AI and Testing with AI
Testing Trends: Testing AI and Testing with AI

Testing Trends: Testing AI and Testing with AI

Trends in software testing: AI is used most in programming and testing, far less in requirements engineering. Scrum dominates, even in aviation.

Accessibility Act: Blind Testers Find What Tools Miss
Accessibility Act: Blind Testers Find What Tools Miss

Accessibility Act: Blind Testers Find What Tools Miss

Accessibility testing can't be fully automated. Accessible components can still break once combined, and blind testers catch it with screen readers.

Software Analysis: Assessing an Inherited Ticket Shop
Software Analysis: Assessing an Inherited Ticket Shop

Software Analysis: Assessing an Inherited Ticket Shop

Software analysis of an inherited ticket shop: static analysis gave a first verdict in 1.5 days. Then a third of the code turned out to be a black box.

Impostor Syndrome: How to Stop Feeling Like a Fraud
Impostor Syndrome: How to Stop Feeling Like a Fraud

Impostor Syndrome: How to Stop Feeling Like a Fraud

Impostor syndrome can't be argued away with logic. Knowing the term, talking openly with peers and contradicting your inner critic help break the cycle.

Where Formal Methods Get Used, and What a Proof Costs
Where Formal Methods Get Used, and What a Proof Costs

Where Formal Methods Get Used, and What a Proof Costs

Type systems, Windows drivers, payments, the seL4 kernel: where formal methods run in practice, and why a proof can cost ten lines per line of code.

Quality in Software Development Is Now a Team Task
Quality in Software Development Is Now a Team Task

Quality in Software Development Is Now a Team Task

Quality in software development moved from a late test phase to a team task. Now AI forces the question many teams never answered: what is quality?

Form Testing: Model-Based Test Data via SMT Solver
Form Testing: Model-Based Test Data via SMT Solver

Form Testing: Model-Based Test Data via SMT Solver

Form testing for over 255 tax form variants across 16 states: an SMT solver derives valid test data from the model and exposes contradictory rules.