Using ACL2 To Teach Students About Software Testing. - Ruben Gamboa; Alicia Thoney (ACL2, 2022)