Doctoral Symposium

Friday March 17 2017

8:00 Registration & Breakfast
9:00-10:30
  • Localizing and Fixing Faults in SQL Predicates, Yun Guo
  • Debugging Multithreaded Programs Using Symbolic Analysis, Xiaodong Zhang
  • Automated and Scalable Mutation Testing, Thierry Titcheu Chekam
10:30-11:00 Coffee Break
11:00-12:30
  • A Framework for Failure Diagnosis, Mojdeh Golagha
  • Enhancing Trust- Software Vulnerability Analysis Framework, Sultan Alqahtani
  • Faculty talk: How to Give a Great Presentation, Tanja Vos
12:30-14:00 Lunch
14:00-15:30
  • Reflecting the Adoption of Software Testing Research in Open-Source Projects, Fabian Trautsch
  • Abstraction Refinement for Non-Zeno Fairness Verification of Linear Hybrid Automata, Ryo Yanase
  • Faculty talk: How to Get Your Paper Rejected, Jeff Offutt

NOTES:
Each session within Doctoral Symposium consists of 15 minute presentation from a student and 15 minute feedback from panelists.

Doctoral Symposium Committee Co-Chairs

  • Anna Rita Fasolino, University of Naples Federico II
  • Jeff Offutt, George Mason University

Panel Members

  • Jeff (Yu) Lei, University of Texas at Arlington
  • Mike Papadakis, Luxembourg University
  • Tanja Vos, Open University
  • Tingting Yu, University of Kentucky