ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China

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 2019 conference proceedings.

The ISSTA 2019 Doctoral Symposium will be co-located with ISSTA in Beijing, China. The Symposium will include a keynote address by a prominent leader in academic research. The Symposium will be closed-door, with participation restricted to the students taking part in the symposium and the members of the ISSTA 2019 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.

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

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:30 - 10:35
09:30
16m
Day opening
Openning
Doctoral Symposium
09:46
16m
Doctoral symposium paper
On the Correctness of GPU Programs
Doctoral Symposium
Chao PengUniversity of Edinburgh, UK
10:02
16m
Doctoral symposium paper
JNI Program Analysis with Automatically Extracted C Semantic Summary
Doctoral Symposium
Sungho LeeKAIST, South Korea
10:18
16m
Doctoral symposium paper
Identifying Error Code Misuses in Complex System
Doctoral Symposium
Tang WenshengThe Hong Kong University of Science and Technology
11:00 - 12:30
11:00
20m
Doctoral symposium paper
Continuous Software Performance Assessment
Doctoral Symposium
Christoph LaaberUniversity of Zurich
DOI Pre-print
11:20
20m
Doctoral symposium paper
Conditional Dynamic Partial Order Reduction and Optimality Results
Doctoral Symposium
Miguel IsabelComplutense University of Madrid
11:40
20m
Doctoral symposium paper
A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases
Doctoral Symposium
Giovanni GranoUniversity of Zurich
DOI Pre-print
12:00
30m
Talk
Planning and choosing research projects during PhD studies
Doctoral Symposium
Abhik RoychoudhuryNational University of Singapore
14:00 - 15:30
14:00
20m
Doctoral symposium paper
A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis
Doctoral Symposium
Patrick Kwaku KudjoJiangsu University
14:20
20m
Doctoral symposium paper
Towards Scalable Defense of Information Flow Security for Distributed Systems
Doctoral Symposium
Xiaoqin FuWashington State University
14:40
20m
Doctoral symposium paper
Mining Constraints for Grammar Fuzzing
Doctoral Symposium
Michaël MeraCISPA, Germany
15:00
30m
Talk
Panel Disscussion
Doctoral Symposium
16:00 - 17:30
16:00
90m
Talk
Panel Disscussion
Doctoral Symposium

Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

17:30 - 20:00
Reception with postersCatering at Grand Ballroom
17:30
2h30m
Dinner
Reception with posters
Catering

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

17:45 - 21:00
17:45
3h15m
Dinner
Banquet
Catering

Not scheduled yet

Not scheduled yet
Talk
Invited talk
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.


This year's symposium will feature a 2-round submission arrangement. We first welcome all participants to submit their proposals by Feb 28, 2019, a month after the technical paper submission. The submission is open until May 7, where the Phd student authors of the accepted technical papers might also be interested in presenting their research in the context of symposium to get more feedbacks. Reminders of each round will be sent separately.

Submission Instructions

A Doctoral Symposium submission must not exceed 4 pages, including all text, figures, tables, and appendices; one additional page containing only references is permitted. Submission 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 (i.e., \documentclass[sigconf]{acmart}).


Submission is now open.
Please submit through EasyChair: https://easychair.org/conferences/?conf=issta19ds