ISSTA 2019 Doctoral Symposium
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.
Mon 15 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
10:30 30mBreak | Mini Break Catering |
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
12:30 - 14:00 | |||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
15:30 30mBreak | Mini Break Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
17:30 - 20:00 | |||
17:30 2h30mDinner | Reception for SPIN and Workshop attendees Catering |
Tue 16 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:30 - 10:35 | |||
09:30 16mDay opening | Openning Doctoral Symposium | ||
09:46 16mDoctoral symposium paper | On the Correctness of GPU Programs Doctoral Symposium Chao Peng University of Edinburgh, UK | ||
10:02 16mDoctoral symposium paper | JNI Program Analysis with Automatically Extracted C Semantic Summary Doctoral Symposium Sungho Lee KAIST, South Korea | ||
10:18 16mDoctoral symposium paper | Identifying Error Code Misuses in Complex System Doctoral Symposium Wensheng Tang The Hong Kong University of Science and Technology |
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Function Room B | ||
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
10:30 30mBreak | Mini Break Catering |
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
10:35 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 2 | ||
11:00 - 12:30 | |||
11:00 20mDoctoral symposium paper | Continuous Software Performance Assessment Doctoral Symposium Christoph Laaber University of Zurich DOI Pre-print | ||
11:20 20mDoctoral symposium paper | Conditional Dynamic Partial Order Reduction and Optimality Results Doctoral Symposium Miguel Isabel Complutense University of Madrid | ||
11:40 20mDoctoral symposium paper | A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases Doctoral Symposium Giovanni Grano University of Zurich DOI Pre-print | ||
12:00 30mTalk | Planning and choosing research projects during PhD studies Doctoral Symposium Abhik Roychoudhury National University of Singapore |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | |||
14:00 20mDoctoral symposium paper | A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis Doctoral Symposium Patrick Kwaku Kudjo Jiangsu University | ||
14:20 20mDoctoral symposium paper | Towards Scalable Defense of Information Flow Security for Distributed Systems Doctoral Symposium Xiaoqin Fu Washington State University | ||
14:40 20mDoctoral symposium paper | Mining Constraints for Grammar Fuzzing Doctoral Symposium Michaël Mera CISPA, Germany | ||
15:00 30mTalk | Panel Disscussion Doctoral Symposium |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Function Room B | ||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 2 | ||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
15:30 30mBreak | Mini Break Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
16:00 - 17:30 | |||
16:00 90mTalk | Panel Disscussion Doctoral Symposium |
18:00 - 21:30 | |||
18:00 3h30mDinner | OC Dinner Catering |
Wed 17 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
10:30 30mBreak | Mini Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
15:30 30mBreak | Mini Break Catering |
17:30 - 20:00 | |||
17:30 2h30mDinner | Reception with posters Catering |
Thu 18 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
10:30 30mBreak | Mini Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
15:30 30mBreak | Mini Break Catering |
17:45 - 21:00 | |||
17:45 3h15mDinner | Banquet Catering |
Fri 19 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
10:30 30mBreak | Mini Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
15:30 30mBreak | Mini Break Catering |
18:00 - 21:30 | |||
Not scheduled yet
Not scheduled yet Talk | Invited talk Doctoral Symposium |
Accepted Papers
Title | |
---|---|
A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis Doctoral Symposium | |
A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases Doctoral Symposium DOI Pre-print | |
Conditional Dynamic Partial Order Reduction and Optimality Results Doctoral Symposium | |
Continuous Software Performance Assessment Doctoral Symposium DOI Pre-print | |
Identifying Error Code Misuses in Complex System Doctoral Symposium | |
JNI Program Analysis with Automatically Extracted C Semantic Summary Doctoral Symposium | |
Mining Constraints for Grammar Fuzzing Doctoral Symposium | |
On the Correctness of GPU Programs Doctoral Symposium | |
Towards Scalable Defense of Information Flow Security for Distributed Systems 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