Keynote Speaker / 主讲嘉宾
Prof. Ali Mili, New Jersey Institute of Technology, USA
Professor and Associate Dean for Academic Affairs, Computer Science
Speech Title: Redundancy, the Mutant's Elixir of Immortality
Abstract: Mutation testing consists in generating slightly modified (mutated) versions of a program under test and analyzing the impact that these changes have on the function of the program. Mutation testing is meaningful only to the extent that the syntactic modifications applied to the base program yield semantic differences, but this is not always the case: two program can be syntactically distinct yet semantically equivalent. The problem of equivalent mutants has long garnered the attention/ interest of researchers, and has focused on determining whether a program and a specific mutant are equivalent. In this talk we discuss an approach that does not seek to identify individual mutants that are equivalent to the base program, only to estimate their number. We find that a reliable predictor of the number of equivalent mutants that a program is prone to generate is the amount of redundancy in the program.
Bio: Ali Mili holds a Doctorat es-Sciences d'Etat from the Joseph Fourier University of Grenoble, France, and a PhD from the University of Illinois at Urbana Champaign, IL, USA. He is a Professor of Computer Science and Associate Dean at the Ying Wu College of Computing, New Jersey Institute of Technology, Newark, NJ, USA. His research interests are in Software Engineering, including technical and organizational / managerial aspects.