In this episode, we chat with Harry Goldstein about Property-Based Testing (PBT). Harry shares insights from interviews with PBT users at Jane Street, highlighting PBT's strengths in testing complex code and boosting developer confidence. Harry also discusses the challenges of writing properties and generating random data, and the difficulties in assessing test effectiveness. He identifies key areas for future improvement, such as performance enhancements and better random input generation. This episode is essential for those interested in the latest developments in software testing and PBT's future. <h3>Links:</h3><ul><li><a href="https://harrisongoldste.in/papers/icse24-pbt-in-practice.pdf" rel="noopener noreferrer" target="_blank">ICSE'24 Paper </a></li><li><a href="https://harrisongoldste.in/" rel="noopener noreferrer" target="_blank">Harry's website</a></li><li>X: <a href="https://twitter.com/hgoldstein95" rel="noopener noreferrer" target="_blank">@hgoldstein95</a> </li></ul><hr> Hosted on Acast. See <a style='color:grey;' target='_blank' rel='noopener noreferrer' href='https://acast.com/privacy'>acast.com/privacy</a> for more information.

In this episode, we chat with Harry Goldstein about Property-Based Testing (PBT). Harry shares insights from interviews with PBT users at Jane Street, highlighting PBT's strengths in testing complex code and boosting developer confidence. Harry also discusses the challenges of writing properties and generating random data, and the difficulties in assessing test effectiveness. He identifies key areas for future improvement, such as performance enhancements and better random input generation. This episode is essential for those interested in the latest developments in software testing and PBT's future. Links:ICSE'24 Paper Harry's websiteX: @hgoldstein95 Hosted on Acast. See acast.com/privacy for more information.

In this episode, we chat with Harry Goldstein about Property-Based Testing (PBT). Harry shares insights from interviews with PBT users at Jane Street, highlighting PBT's strengths in testing complex code and boosting developer confidence. Harry also discusses the challenges of writing properties and generating random data, and the difficulties in assessing test effectiveness. He identifies key areas for future improvement, such as performance enhancements and better random input generation. This episode is essential for those interested in the latest developments in software testing and PBT's future. Links:<ul><li><a href="https://harrisongoldste.in/papers/icse24-pbt-in-practice.pdf" rel="noopener noreferrer">ICSE'24 Paper </a></li><li><a href="https://harrisongoldste.in/" rel="noopener noreferrer">Harry's website</a></li><li>X: <a href="https://twitter.com/hgoldstein95" rel="noopener noreferrer">@hgoldstein95</a> </li></ul> Hosted on Acast. See <a href="https://acast.com/privacy" rel="noopener noreferrer">acast.com/privacy</a> for more information.

Harry Goldstein | Property-Based Testing | #55

This podcast features interviews with Computer Science researchers. Hosted by <a href="https://jackwaudby.github.io/" rel="noopener noreferrer" target="_blank">Dr. Jack Waudby</a> researchers are interviewed, highlighting the problem(s) they tackled, solutions they developed, and how their findings can be applied in practice. This podcast is for industry practitioners, researchers, and students, aims to further narrow the gap between research and practice, and to generally make awesome Computer Science research more accessible. We have 2 types of episode: (i) Cutting Edge (red/blue logo) where we talk to researchers about their latest work, and (ii) High Impact (gold/silver logo) where we talk to researchers about their influential work. You can support the show through&nbsp;<a href="https://www.buymeacoffee.com/disseminate" rel="noopener noreferrer" target="_blank">Buy Me a Coffee</a>.&nbsp;A donation of $3 will help us keep making you awesome Computer Science research podcasts.&nbsp;<hr> Hosted on Acast. See <a style='color:grey;' target='_blank' rel='noopener noreferrer' href='https://acast.com/privacy'>acast.com/privacy</a> for more information.

News

Technology

Education

Tech News

This podcast features interviews with Computer Science researchers. Hosted by Dr. Jack Waudby researchers are interviewed, highlighting the problem(s) they tackled, solutions they developed, and how their findings can be applied in practice. This podcast is for industry practitioners, researchers, and students, aims to further narrow the gap between research and practice, and to generally make awesome Computer Science research more accessible. We have 2 types of episode: (i) Cutting Edge (red/blue logo) where we talk to researchers about their latest work, and (ii) High Impact (gold/silver logo) where we talk to researchers about their influential work. You can support the show through Buy Me a Coffee. A donation of $3 will help us keep making you awesome Computer Science research podcasts.  Hosted on Acast. See acast.com/privacy for more information.

This podcast features interviews with Computer Science researchers. Hosted by <a href="https://jackwaudby.github.io/" rel="noopener noreferrer">Dr. Jack Waudby</a> researchers are interviewed, highlighting the problem(s) they tackled, solutions they developed, and how their findings can be applied in practice. This podcast is for industry practitioners, researchers, and students, aims to further narrow the gap between research and practice, and to generally make awesome Computer Science research more accessible. We have 2 types of episode: (i) Cutting Edge (red/blue logo) where we talk to researchers about their latest work, and (ii) High Impact (gold/silver logo) where we talk to researchers about their influential work. You can support the show through&nbsp;<a href="https://www.buymeacoffee.com/disseminate" rel="noopener noreferrer">Buy Me a Coffee</a>.&nbsp;A donation of $3 will help us keep making you awesome Computer Science research podcasts.&nbsp; Hosted on Acast. See <a href="https://acast.com/privacy" rel="noopener noreferrer">acast.com/privacy</a> for more information.

Share Harry Goldstein | Property-Based Testing | #55

Sign up to save your podcasts

Harry Goldstein | Property-Based Testing | #55

Harry Goldstein | Property-Based Testing | #55

More shows like Disseminate: The Computer Science Research Podcast

The Changelog: Software Development, Open Source

Software Engineering Daily

Kubernetes Podcast from Google

Hard Fork

Developer Voices

Complex Systems with Patrick McKenzie (patio11)