PLSE Seminar Series - Willem Visser, "An Analytical Perspective on Mutations and Coverage"

Explore an innovative approach to analyzing mutations and the relationship between coverage and fault detection capability in this seminar by Willem Visser. Delve into the use of symbolic execution and model counting to examine mutation analysis, focusing on the importance of reaching mutation points and the impact of oracle precision. Investigate the potential role of probability in explaining the correlation between test suite coverage levels and fault detection. Learn about recent applications of probabilistic symbolic execution in probabilistic programming and model checking. Gain insights from Visser's extensive experience in model checking, testing, symbolic execution, and model counting, drawing from his work at NASA Ames Research Center and his current position as a professor at Stellenbosch University.