30 likes | 171 Views
SWE 795: Advanced Testing Techniques. 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
E N D
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
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