Doctoral Symposium 2015


Session #1 2:00 - 3:30

Chair: Jeff Offutt

An analysis and extension of Category partition testing for constrained systems by Sunint Khalsa

Analyzing failure mechanism for complex software-intensive systems by Luyi Li

On Validating UML Consistency Rules by Damiano Torre

Coffee break 3:30 - 4:00

Session #2: 4:00 - 6:00

Chair: Nida Gökçe

A Scalable and Accurate Hybrid Vulnerability Analysis Framework by Julian Thome​

Cloud-based Runtime Verification of Health-caring Systems using Software Agents by Negar Majma

Authorship and strategies for successful publishing Faculty Panel