program‎ > ‎

Ph.D. Symposium

The Ph.D. Symposium will take place on Monday, March 31st, 2014.


9:00am - 9:30am — Welcome and introductions (Sara Sprenkle and Lori Pollock)

9:30am - 10:30am — Getting the Most out of Attending a Research Conference (slides)

10:30am - 11:00am — Break

11:00am - 12:30 — Student Presentations & Discussion: Static Analysis

  • Boyang Li, Enhancing Utility and Privacy of Data for Software Testing
  • Alexey Borodin, Summary based Static Analysis for Practical Search for Defects in C Programs and Libraries
  • Valery Ignatyev, Static Analysis Usage for Customizable Semantic Checks of C and C++ Programming Languages Constraints

12:30 - 2:00pm — Lunch

2:00pm - 3:30pm — Student Presentations & Discussion: Testing

  • Dominik Holling, A Fault Model Framework for Quality Assurance
  • Upulee Kanewala, Techniques for Automatic Detection of Metamorphic Relations
  • Rafael A. P. Oliveira, Automating Test Oracles for Systems with Complex Output

3:30pm - 4:00pm — Break

4:00pm - 5:00pm — How to get your Paper Rejected (Jeff Offutt, slides)


  • Myra Cohen
  • Lori Pollock
  • Sara Sprenkle
  • Laurie Williams
Vinay Augustine,
Apr 2, 2014, 11:39 AM
Vinay Augustine,
Apr 1, 2014, 6:59 AM