Pybites Podcast cover image

#210: Codeflash and continuous Python performance with Saurabh Misra

Pybites Podcast

00:00

Concolic testing to maximize coverage

Saurabh explains concrete-symbolic execution and SMT solving with Z3 to generate inputs that exercise branches.

Play episode from 35:54
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app