Tue 14 Jun 2022 15:30 - 16: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 Jun

Displayed time zone: Pacific Time (US & Canada) change

15:30 - 17:00
Complementary ApproachesASA at Macaw +12h
15:30
45m
Talk
Automated Software Testing: Bridging The Gap With Deep Learningvirtual
ASA
Elizabeth Dinella University of Pennsylvania
16:15
45m
Talk
Precise Program Reasoning using Probabilistic Methods
ASA
Mukund Raghothaman University of Southern California

Wed 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

03:30 - 05:00
Complementary ApproachesASA at Macaw
03:30
45m
Talk
Automated Software Testing: Bridging The Gap With Deep Learningvirtual
ASA
Elizabeth Dinella University of Pennsylvania
04:15
45m
Talk
Precise Program Reasoning using Probabilistic Methods
ASA
Mukund Raghothaman University of Southern California