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