Software on the Witness Stand: What Should It Take for Us to Trust It? - Sergey Bratus; Ashlyn Lembree; Anna Shubina (TRUST, 2010)