[Dlteam-list] A Quantitative Analysis of Whether Unit Testing Obviates Static Type Checking For Error Detection