Skip to main content

Search...

Podcast: Software Testing, AI and Quality Insights : Page 11 of 16

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.

Secure by Design: Security Starts at the Beginning
Secure by Design: Security Starts at the Beginning

Secure by Design: Security Starts at the Beginning

Secure by design means building security in from day one, not bolting it on later. What defense in depth, secure defaults and threat modeling look like.