Transcript Brief Introductory Slides

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
• 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