Read about ” Harnessing Sophisticated Assertion Checking Through Runtime Testing ” :    Slides     Video Presentation