SWE 795:

Advanced TestingTechniques

Paul Ammann

http://cs.gmu.edu/~pammann/795.html

August 2014

Ground Rules This is a seminar class

– 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

2

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

3