Skip to main content

Search...

Podcast: Software Testing, AI and Quality Insights : Page 12 of 17

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.

Future of Software Development: The Basics Will Stay
Future of Software Development: The Basics Will Stay

Future of Software Development: The Basics Will Stay

Future of software development: AI mainly helps developers create legacy code faster. What that means for quality and jobs over the next ten years.