In addition to the tool track papers, ICST 2020 will also be accepting submissions of demonstrations of testing-related tools and prototypes.
Sun 25 OctDisplayed time zone: Lisbon change
09:00 - 09:15 | Intro & WelcomeResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room +11h Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Rui Abreu Faculty of Engineering, University of Porto, Portugal | ||
09:00 15mDay opening | Intro & Welcome Research Papers |
16:15 - 17:15 | Keynote 1Research Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC | ||
16:15 60mKeynote | One-click formal methods Research Papers Liana Hadarean Amazon Link to publication |
20:00 - 20:15 | Intro & WelcomeResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Rui Abreu Faculty of Engineering, University of Porto, Portugal | ||
20:00 15mDay opening | Intro & Welcome Research Papers |
Mon 26 OctDisplayed time zone: Lisbon change
09:00 - 09:30 | Most Influential Paper AwardsResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room +11h Chair(s): Luís Cruz Deflt University of Technology | ||
09:00 15mAwards | Using Mutation to Automatically Suggest Fixes for Faulty Programs Research Papers Media Attached | ||
09:15 15mAwards | Searching for a needle in a haystack predicting security vulnerabilities for Windows Vista Research Papers Thomas Zimmermann Microsoft Research, Nachiappan Nagappan Microsoft Research, USA, Laurie Williams North Carolina State University Media Attached |
20:00 - 20:30 | Most Influential Paper AwardsResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC | ||
20:00 15mAwards | Using Mutation to Automatically Suggest Fixes for Faulty Programs Research Papers Media Attached | ||
20:15 15mAwards | Searching for a needle in a haystack predicting security vulnerabilities for Windows Vista Research Papers Thomas Zimmermann Microsoft Research, Nachiappan Nagappan Microsoft Research, USA, Laurie Williams North Carolina State University Media Attached |
Tue 27 OctDisplayed time zone: Lisbon change
Accepted Papers
Call for Papers
In addition to the tool track papers, ICST 2020 will also be accepting submissions of demonstrations of testing-related tools and prototypes. The goal is to provide a highly interactive session where researchers and practitioners can experiment and discuss their tools.
Demonstrations provide an opportunity to communicate how a scientific approach has been implemented or how a hypothesis has been assessed, including details such as implementation and usage challenges, data models and representations, APIs for tool and data access.
A demonstration should focus on novel aspects of early prototypes or mature tools. It must clearly communicate the following information to the audience:
- The software testing challenges it proposes to address.
- The envisioned users and the presumed methodology for these users.
- The results of validation studies already conducted for mature tools, or the design of planned studies for early prototypes.
Evaluation:
Each submission will be reviewed by at least two members of the organizing committee. The evaluation criteria include:
- The relevance of the proposed demonstration for the ICST audience.
- The technical soundness of the demonstrated tool.
- The originality of its underlying ideas.
- The quality of its presentation in the associated video.
- The degree to which it considers the relevant literature.
Submission:
Submissions will be handled via EasyChair (Tools, Demos, Artifacts track) of ICST 2020. The Tools, Demos, Artifacts track of ICST 2020 uses single-blind reviewing, which means that demos need not be anonymized.
Each submission must include a one page summary (PDF) describing:
- Demo title or name of the demonstrated tool.
- Authors and affiliations.
- Main goals of the demonstrated tool.
- Main contributions of the demonstrated tool.
- Capabilities and maturity of the demonstrated tool.
In addition to the one page summary, authors are expected to submit a video (up to five minutes long). The demonstration plan and/or video must clearly convey:
- Overview of the tool’s capabilities.
- Walkthrough of (some of) the tool capabilities.
- Where appropriate, provide clarifying voice-over and/or annotation highlights.
- Captions.
The video must be available online at the time of submission. A link to the video should be included in the one page summary submitted. There will be an award for the best demonstration.