ICST 2018 11Th IEEE Conference on Software Testing, Validation and Verification
Total Page:16
File Type:pdf, Size:1020Kb
Keynote Talk ICST 2018 11th IEEE Conference on Software Testing, Validation and Verification Västerås, Sweden • April 9-13, 2018 Content Program at a glance ............................................................... 3 Sponsors ................................................................................ 4 Message from the General Chair ............................................ 5 Message from the Program Chairs ......................................... 8 Organization ........................................................................ 10 Keynote Talks ....................................................................... 12 Venue .................................................................................. 15 Detailed program ICST ......................................................... 36 Workshops, overview ........................................................... 17 Workshops, detailed program .............................................. 36 A-MOST ............................................................................... 47 InSTA ................................................................................... 45 ITEQS ................................................................................... 36 IWCT ................................................................................... 45 MUTATION ........................................................................... 39 NEXTA ................................................................................. 38 SAST, Swedish Association for Software Testing ................... 18 TAIC PART ............................................................................ 46 USE ...................................................................................... 37 VVIoT ................................................................................... 37 2 Program at a glance Monday Tuesday Wednesday Thursday Friday April 9th April 10th April 11th April 12th April 13th 09.00 SAST MEETING Intro & Welcome MIP #1 WORKSHOPS Auditorium 09.30 Keynote 1: Keynote 2: Keynote 3: Infer: Static Analysis But is it fun? Safety Verification for A-MOST Magnus Nordin/David 10.00 at Scale Deep Neural Networks Room 302 WORKSHOPS Dulma Churchill King/Stefan Posthuma Marta Kwiatkowska 10.30 Coffee InSTA ITEQS Room 301 11.00 Room 107 Research 1 Research 6 Research 9 Industry Track 1 Research 7 Research 10 IWCT 11.30 Tools/Demos MUTATION Doctoral symp 1 Room 109 Lightning Talks 12.00 Room 109 TESTOMAT meeting TAIC PART 12.30 NEXTA Room 107 Room 301 Lunch 13.00 13.30 USE Room 101 14.00 Research 2 Research 8 Open Steering VVIoT Research 3 Tool 2 Committee & Closing 14.30 Room 106 Tool 1 Doctoral Symp 2 Room 109 15.00 15.30 Coffee 16.00 Research 4 Demo Research 5 Industry Track 2 16.30 Journal First Doctoral symp 3 17.00 Panel Discussion 17.30 17:30 Burgers & activities 18.00 at Strike, 18:00 18:00 Torggatan 1, Västerås Welcome reception at Bus from the 18.30 the Plaza lobby bar, Congress Center Hotel Plaza to the conference 19.00 19:00 banquet at the PC dinner at Munktell museum, restaurant Pråmen, Eskilstuna Västerås ROOMS Key notes and panel: Congress hall Sessions: TESTOMAT meeting: Tuesday, see page 12 Room 108 Wednesday, see page 13 Thursday, see page 14 3 Conference Sponsors Platinum Sponsors Gold Sponsors Silver Sponsors TESTING OF CRITICAL SYSTEM CHARACTERISTICS Bronze Sponsors INFOTIV 4 Message from the ICST 2018 General Chair Hans Hansson Mälardalen University & RISE SICS Västerås, Sweden [email protected] Welcome! I welcome you all to Västerås, Sweden, for the 11th IEEE International Confer- ence on Software Testing, Verification and Validation (ICST 2018). Yes, ICST is approaching adoles- cence! Indications of this maturity in- clude that the conference now is rated A according to CORE20181 and that this year’s conference features awards to and presentations by authors of the two most influential ICST papers during the first ten years of ICST. We are proud that Västerås and pants may want to spend a day or two tools. For the success of this I’m much Sweden was selected the venue for before or after the conference to ex- in debt to Robert Feldt and Shin Yoo, this year’s conference. Västerås with plore Stockholm, the capital of Sweden Chairs of the Main Technical Track Pro- 150.000 inhabitants is a medium size that has a lot to offer, less than an hour gram Committee for putting together city by Swedish standards. Still, it can away from Västerås by train. the technical program, and also for be considered the engineering capital In addition to the comprehensive supporting me in general issues related of Sweden, with a number of major conference programme, which includes to the organization of the conference. engineering companies, such as ABB, a regular programme and nine co-located In addition, I wish to thank Daniel Bombardier Transportation, Westing- workshops, there are a number of events Sundmark, Stig Larsson and Richard house and Alstom. The size of the city and meetings co-located with ICST 2018, Torkar for Chairing the Industry Papers makes Västerås ideal for a conference most notably a meeting of the Swedish Track and encouraging practitioners to such as ICST since all hotels and loca- Association for Software Testing (SAST), showcase their work on the applica- tions for social events are within con- which is expected to include some 250 tion of recently developed techniques venient walking distance from the Aros software practitioners keen to interact to real industrial software systems. Congress Center where we will meet. with the ICST community. Daniel Sundmark deserves an additional The only exception is the conference The aim is to have this meeting con- recognition for taking responsibility for banquet which will take place in the tinue the long ICST tradition of foster- the very successful sponsoring efforts, Munktell museum in the neighbouring ing the integration of software testing as well as for supporting me in many city of Eskilstuna, the home of Volvo and verification research and practice, other ways. Thanks also to the sponsors Construction Equipment. which is why we have worked very hard for their very generous contributions! Although Västerås has a lot to offer, to develop a strong technical content The workshops chairs, Gregory Gay and the more touristically inclined partici- that combines research, practice, and Mike Papadakis, have made a great 1 http://www.core.edu.au/conference-portal (Rank A - excellent conference, and highly respected in a discipline area.) 5 effort in coordinating the co-located Mehrdad Saadatmand and Leo Hatvani, workshops. Thanks also to the Test- with Leo also excellently handling the ing tools, demonstrations and artifacts conference web. track chairs Wasif Afzal, Francisco Behind any successful event there Gomes and René Just, and the PhD are a number of persons that do not al- symposium chairs David Binkley and ways get the recognition they deserve: Arpad Beszédes for excellent organiza- the team of local heroes that makes tion of their respective tracks. One of sure that everything runs smoothly and the conference high-lights is a panel seamlessly. For the organization of ICST on the eternal and important theme of 2018, I would in particular like to thank whether software testing research con- the local chair Malin Rosqvist that with tributions are real contributions, organ- great enthusiasm have coordinated ized by Sigrid Eldh and Elaine Weyuker. the local team, also including Daniel If you are attending ICST for the first Sundmark, Karin Engström, Susanne time, it is most likely due to the tireless Fronnå, Eduard Enoiu, Leo Hatvani, and efforts of the publicity chairs Eduard Predrag Filipovikj, as well as a number Enoiu, Xiaoyuan Xie and Tingting Yu. of student helpers. Equally important is the responsibility to Last, but not least, I would like to handle the production of the proceed- thank the ICST Steering Committee, ings shared by the publicity chairs chaired by Gordon Fraser, for showing Photographs: Linda Heplinger, VKL, Leon Grimaldi, Clifford Shirley, Kristoffer Hasselberg 6 confidence and providing support & RSV six years ago, RSV and MDH have guidance. been working closely in a large number ICST 2018 is co-organised by the of research and education projects. Embedded Systems (ES) environment at There is also a number of persons with Mälardalen University (MDH) and the double affiliation, including myself. It is research institute RISE SICS Västerås thus natural that we join forces in the (RSV). ES is a large academic research organisation of ICST 2018. environment with approximately 200 It takes a diverse and hard-working researchers and PhD-students, cover- team to put a conference together. ing a broad set of topics related to Working with this team has been an software embedded in products and amazing experience. Working together, production systems; most notably we hope that we have created an event related to quality assurance of such that is long remembered by the com- software, including testing, verification munity, both enjoyable and educational. and validation. RSV includes some 40 Once again, I welcome you to ICST 2018! researchers targeting a broad set of topics related to the digitalization of the manufacturing industry in a broad sense, including expertise in software General Chair of ICST 2018 testing. Already since the inception of Hans Hansson 7 Message from the ICST 2018 Program Chairs We are very pleased to present the In addition, nine workshops have