SWE 795: Advanced Testing Techniques Paul Ammann http://cs.gmu.edu/~pammann/795.html August 2014

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

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