1.0Microsoft Researchhttps://www.microsoft.com/en-us/researchRustan Leinohttps://www.microsoft.com/en-us/research/people/leino/rich600338Software quality assurance A major software engineering concern Costly Relies heavily on testing Increasingly helped by advanced tools Verification-condition generation, symbolic execution, model checking, abstract interpretation, fuzzing, test generation