CS614B is a research-oriented class, which has a different focus each time that it is offered. Students read and evaluate reseach papers, and conduct a research project. During the Spring 2014 semester, we will focus on test generation techniques, fault localization, and higher order mutation testing. Depending on the interest of the students, we may choose to spend more time on a specific topic or two. We can investigate the above topics in the domains of interest of the students (e.g., scientific computing, computational biology, high performance computing, and mobile devices).
Test generation: random testing, constraint based techniques, guided testing, test oracles.
Fault localization: Program spectra based, state based, machine learning based, data mining based and statistical techniques.
Higher order mutation: Efficient techniques for generating, compiling, and executing mutants, search-based techniques to find mutants.
The course will be run as a seminar. Students will present research papers, and write summaries and critiques. Projects are a major component of the grade and they involve research and/or implementation along with a term paper.
The first few classes will be devoted to lectures that review background material. Student paper presentations will begin after these lectures.