1. SWE 795: Advanced Testing Techniques
Paul Ammann
August 2014

2. Ground Rules This is a seminar class Obligations
It’s all about research
It’s all about the students
Obligations
Students make the class
Interaction in class
Requires preparation
Offline discussion (Piazza)
Reviews of papers
Paper/Project
Ideally headed for publication

3. Topics Mutation Testing New area of Mutant Subsumption Graphs
Really hard problems: Equivalent mutants and test generation
Automated Program Repair
A very hot area
Testing is crucial to making this work
RIPR Model
Recent extension (Nan Li)
Still prepublication!
Usable Security
I am attending a Dagstuhl meeting on this topic in December
Case study
Student topics