Write a Blog >>

The ISSTA Doctoral Symposium is a forum for doctoral students working in the area of software testing and analysis to present their research goals, methods, and preliminary results. Participants will receive feedback from researchers in the software testing and analysis scientific community in a constructive and friendly atmosphere. Participants will obtain useful guidance that will help them complete their dissertation research and begin a research career in software testing and analysis. Accepted submissions will also be published as short papers in the ISSTA 2017 conference proceedings.

The ISSTA 2017 Doctoral Symposium will be co-located with ISSTA in lovely Santa Barbara, California. The Doctoral Symposium will take place on Thursday, July 13th, 2017: the day after the main ISSTA conference. The Symposium will include a keynote address by Andreas Zeller. The Symposium will be closed-door, with participation restricted to the students taking part in the symposium and the members of the ISSTA 2017 Doctoral Symposium Program Committee. Participating students will have the unique opportunity to describe their research ideas and receive comments and suggestions from experienced researchers in the software testing and analysis community.

Accepted Papers

Title
Automatically Inferring and Enforcing User Expectations
Doctoral Symposium
Consistency Checking in Requirements Analysis
Doctoral Symposium
Data Flow Oriented UI Testing
Doctoral Symposium
Dynamic Tainting for Automatic Test Case Generation
Doctoral Symposium
Inferring Page Models for Web Application Analysis
Doctoral Symposium
Mapping Hardness of Automated Software Testing
Doctoral Symposium
Oracle Problem in Software Testing
Doctoral Symposium
Path Cost Analysis for Side Channel Detection
Doctoral Symposium
Understanding Intended Behavior Using Models of Low-level Signals
Doctoral Symposium
Version Space Learning for Verification on Temporal Differentials
Doctoral Symposium

Call for Submissions

Prospective student participants should be at a stage in their research where they have already identified a research topic, but should still be at least six months away from completing their dissertation. Participants will be selected based on a four-page paper describing their proposed thesis research. The paper should state the problem their research intends to address and detail the research they propose to do to address it, including a statement of their hypotheses, a description of their approach and evaluation plans, their positioning with respect to the state of the art, and the expected improvements and benefits.

Submission Instructions

Papers should be in ACM Master conference format using 9-point type. For LaTeX users, this means using the acmart document class with the sigconf option: \documentclass[sigconf]{acmart}. The four-page limit includes all material: paper body, references, appendices, figures, etc.

Submit your papers via the EasyChair ISSTA 2017 Doctoral Symposium submission website by Friday, May 5, 2017, 23:59:59 AoE.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 13 Jul

Displayed time zone: Tijuana, Baja California change

09:00 - 10:00
KeynoteDoctoral Symposium at ESB 2003
Chair(s): Ben Liblit University of Wisconsin–Madison
09:00
60m
Talk
What makes useful research?
Doctoral Symposium
K: Andreas Zeller Saarland University
Media Attached
10:30 - 12:00
AnalysisDoctoral Symposium at ESB 2003
Chair(s): Mary Lou Soffa University of Virginia
10:30
30m
Talk
Consistency Checking in Requirements Analysis
Doctoral Symposium
A: Jaroslav Bendík Masaryk University
11:00
30m
Talk
Inferring Page Models for Web Application Analysis
Doctoral Symposium
11:30
30m
Talk
Path Cost Analysis for Side Channel Detection
Doctoral Symposium
13:30 - 15:00
Modeling and LearningDoctoral Symposium at ESB 2003
Chair(s): Alex Orso Georgia Institute of Technology
13:30
30m
Talk
Automatically Inferring and Enforcing User Expectations
Doctoral Symposium
A: Jenny Hotzkow Saarland University
14:00
30m
Talk
Understanding Intended Behavior Using Models of Low-level Signals
Doctoral Symposium
A: Deborah S. Katz Carnegie Mellon University
14:30
30m
Talk
Version Space Learning for Verification on Temporal Differentials
Doctoral Symposium
15:30 - 17:00
TestingDoctoral Symposium at ESB 2003
Chair(s): Alex Groce Northern Arizona University
15:30
30m
Talk
Data Flow Oriented UI Testing
Doctoral Symposium
Nataniel Borges Jr. Saarland University
16:00
30m
Talk
Dynamic Tainting for Automatic Test Case Generation
Doctoral Symposium
A: Björn Mathis Saarland University
16:30
30m
Talk
Oracle Problem in Software Testing
Doctoral Symposium
A: Gunel Jahangirova Fondazione Bruno Kessler

Unscheduled Events

Not scheduled
Talk
Mapping Hardness of Automated Software Testing
Doctoral Symposium
A: Carlos Oliveira Monash University