Email Record: Formal approaches to software testing and runtime verification :