Abstract. What if we could know that a program is buggy, even if we could not tell whether or not its observed output is correct? This is one of the key strengths of metamorphic testing, a technique where failures are not revealed by checking an individual concrete output, but by checking the relations among the inputs and outputs of multiple executions of the program under test. Two decades after its introduction, metamorphic testing is becoming a fully-fledged testing technique with successful applications in multiple domains including online search engines, simulators, compilers, and artificial intelligence programs. In this talk, Sergio will guide us through the area of metamorphic testing, including an introduction to the technique, its evolution, successful applications and some of the open problems.
Sergio Segura works as an Associate Professor at the University of Seville (Spain) where he received a PhD in Software Engineering in 2011. Sergio is a member of the Applied Software Engineering research group, where he leads the research lines on software testing and search-based software engineering. He has co-authored some highly cited papers as well as tools used by universities and companies in several countries. He also serves regularly as a reviewer for international journals and conferences. His current research interests focus on test automation, search-based software engineering, and AI-driven software engineering.