PLDI 2022 (series) / ASA 2022 (series) / ASA 2022 / Automated Software Testing: Bridging The Gap With Deep Learning
Automated Software Testing: Bridging The Gap With Deep Learningvirtual
Tue 14 Jun 2022 15:30 - 16:15 at Macaw - Complementary Approaches
Wed 15 Jun 2022 03:30 - 04:15 at Macaw - Complementary Approaches
Wed 15 Jun 2022 03:30 - 04:15 at Macaw - Complementary Approaches
Automated testing aims to generate a high coverage suite of tests which can identify defects in a unit under test. Works in automated testing have achieved successes in regression testing and finding safety property violations. However, we are far from the dream of an automatically generated comprehensive bug finding test suite. Automated testing tools struggle to uncover defects in benchmarks of real world known bugs. In this talk I will identify a number of shortcomings in automated testing for bug finding and propose the potential for deep learning to bridge this gap.
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change
15:30 - 17:00 | |||
15:30 45mTalk | Automated Software Testing: Bridging The Gap With Deep Learningvirtual ASA Elizabeth Dinella University of Pennsylvania | ||
16:15 45mTalk | Precise Program Reasoning using Probabilistic Methods ASA Mukund Raghothaman University of Southern California |
Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change
Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change
03:30 - 05:00 | |||
03:30 45mTalk | Automated Software Testing: Bridging The Gap With Deep Learningvirtual ASA Elizabeth Dinella University of Pennsylvania | ||
04:15 45mTalk | Precise Program Reasoning using Probabilistic Methods ASA Mukund Raghothaman University of Southern California |