Invited Talks -- The Twilight Zone: From Testing to Formal Specifications