Program

PDF PDF Program

Monday 9th April

Tracks: SAST Q2 WS1: ITEQS WS2: VVIoT WS3: USE WS4: NEXTA WS5: MUTATION
09:00 Program Program Program Program Program
17:00
17:30 Burgers & activities at Strike, Västerås

Tuesday 10th April

09:00 Intro & Welcome
09:30 Keynote 1: Infer: Static Analysis at Scale
Dulma Churchill
10:30 Coffee Break
11:00 Research 1 – Testing & Debugging 1 Industry Track 1 Tools/Demos Lightning talks
Alessio Gambi, Jonathan Bell and Andreas Zeller.
Practical Test Dependency Detection		 Christian Prause, Rainer Gerlich and Ralf Gerlich.
On Evaluating Effectiveness and Efficiency of Several Automated Software Verification Tools		 Tools (5 pitches):

  1. A. Arcuri, EvoMaster: Evolutionary Multi-context Automated System Test Generation
  2. A. Sullivan, K. Wang, S. Khurshid, AUnit: A Test Automation Tool for Alloy,
  3. H. L. Ribeiro, H. A. de Souza, R. P. A. De Araujo, M. L. Chaim, F. Kon, Jaguar: a spectrum-based fault localization tool for real-world software,
  4. E. J. Rapos, J. R. Cordy, SimEvo: A Toolset for Simulink Test Evolution & Maintenance,
  5. R. Hodován, A. Kiss, Fuzzinator: An Open-Source Modular Random Testing Framework.

Demos (9 pitches):

  1. A. Vasilevskiy, H. Song, B. Morin. TECOR: Automate the Testing of One Product on Many Configurations
  2. C. Wang, F. Pastore, L. Briand. OCLgen: Automated Generation of Constraints from Use Case Specifications to Support System Testing,
  3. M. Borg, D. Hansson, A. Brytting. Regression Test Visualization Using the Unity Game Engine: An Example of Visual Analytics in ASIC Design Verification
  4. H. Kirinuki, H. Tanno, K. Natsukawa. Interactive Repair of Test Scripts Using Various Clues in Web Application
  5. P. Strandberg. Fawlty: A test framework for automated system-level testing
  6. M. Iyama, H. Kirinuki, T. Kurabayashi, H. Tanno. Test Script Generation Tool for Regression Testing using Static and Dynamic Analysis
  7. +8. A. Alsharif, G. Kapfhammer, P. McMinn. Generating Database Schema Test Suites with DOMINO
11:30 Abdullah Alsharif, Gregory Kapfhammer and Phil McMinn.
DOMINO: Fast and Effective Test Data Generation for Relational Database Schemas		 Vidroha Debroy, Lance Brimble and Matt Yost.
Automating Web Application Testing from the Ground Up: Experiences and Lessons Learned in an Industrial Setting
12:00 Chunhui Wang, Fabrizio Pastore and Lionel Briand.
Automated Generation of Constraints from Use Case Specifications to Support System Testing		 Benedikt Walter, Maximilian Schilling, Marco Piechotta and Stephan Rudolph.
Improving Test Execution Efficiency through Clustering and Reordering of Independent Test Steps
12:30 Lunch
14:00 Research 2 – Regression and Continuous Integration Research 3 – Testing & Debugging 2 Tool 1
Akond Rahman and Laurie Williams.
Characterizing Defective Configuration Scripts Used for Continuous Deployment		 Andreas Löscher and Konstantinos Sagonas.
Automating Targeted Property-Based Testing		 EvoMaster: Evolutionary Multi-context Automated System Test Generation, Andrea Arcuri
14:30 Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue and Marius Liaaen.
REMAP: Using Rule Mining and Multi-Objective Search for Dynamic Test Case Prioritization		 Wei Wang, Ningjing Tian, Sunzhou Huang, Sen He, Abhijeet Srivastava, Mary Lou Soffa and Lori Pollock.
Testing Cloud Applications under Cloud-Uncertainty Performance Effect		 AUnit: A Test Automation Tool for Alloy, Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid
15:00 Lingchao Chen and Lingming Zhang.
Speeding up Mutation Testing via Regression Test Selection: An Extensive Study		 Tim Henderson and Andy Podgurski.
Behavioral Fault Localization by Sampling Suspicious Dynamic Control Flow Subgraphs		 Jaguar: a spectrum-based fault localization tool for real-world software, Henrique Lemos Ribeiro, Higor Amario de Souza, Roberto Paulo Andrioli De Araujo, Marcos Lordello Chaim, Fabio Kon
15:30 Coffee Break + Demos
16:00 Research 4 – Mobile and Web Application Testing Research 5 – Program Repair and Synthesis Journal First 2
Yavuz Koroglu, Alper Sen, Ozlem Muslu, Yunus Mete, Ceyda Ulker, Tolga Tanriverdi and Yunus Donmez.
QBE: QLearning-Based Exploration of Android Applications		 Thomas Durieux, Youssef Hamadi, Zhongxing Yu, Benoit Baudry and Martin Monperrus.
Exhaustive Exploration of the Failure-oblivious Computing Search Space		 Harald Foidl and Michael Felderer, Integrating software quality models into risk-based testing, SQJ 2017.
16:30 Marcelo Medeiros Eler, José Miguel Rojas, Yan Ge and Gordon Fraser.
Automated Accessibility Testing of Mobile Apps		 Vaibhav Sharma, Kesha Hietala and Stephen McCamant.
Finding Substitutable Binary Code By Synthesizing Adapters		 C. Metcalf and T. Yavuz, Detecting potential deadlocks through change impact analysis, SQJ 2017.
17:00 Jie Wang, Wensheng Dou, Chushu Gao, Yu Gao and Jun Wei.
Context-Based Event Trace Reduction in Client-Side JavaScript Applications		 Zijiang Yang, Jinru Hua, Kaiyuan Wang and Sarfraz Khurshid.
Test Execution Driven Synthesis of API Sequences With Conditionals and Loops		 P. Delgado-Pérez, S. Segura, I. Medina-Bulo, Assessment of C++ object-oriented mutation operators: A selective mutation approach
18:30 Reception / Welcome with drinks at the Plaza lobby bar

Wednesday 11th April

09:00 MIP #1
09:25 Keynote 2: But is it fun?
Magnus Nordin/David King/Stefan Posthuma
10:20 Coffee Break
10:50 Research 6 – Visual Testing Research 7 – Search Based Approaches Doctoral symposium 1
Emil Alégroth, Arvid Karlsson and Alexander Radway.
Continuous Integration and Visual GUI Testing: Benefits and Drawbacks in Industrial Practice		 Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Tao Yue, Shaukat Ali and Xuandong Li.
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-based Testing		 Keynote: Hints for giving a presentation
Tanja Vos- Hamsini Ketheswarasarma Rajaram
Taxonomy Based Testing using SW91, a Medical Device Software Defect Taxonomy- Yuqing Wang
Test automation maturity assessment- Gergő Balogh
Software Systems, Their Engineers and Their Testers
11:20 Yeonhee Ryou and Sukyoung Ryu.
Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages		 Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn and William G.J. Halfond.
Automated Repair of Internationalization Failures Using Style Similarity Clustering and Search-Based Techniques
11:50 Mohammad Bajammal and Ali Mesbah.
Web Canvas Testing through Visual Inference		 Benjamin Mehne, Hiroaki Yoshida, Mukul Prasad, Koushik Sen, Divya Gopinath and Sarfraz Khurshid.
Accelerating Search-based Program Repair
12:20 Lunch
14:00 Research 8 – Testing & Debugging 3 Tool 2 Doctoral Symposium 2
Yunho Kim, Shin Hong, Bongseok Ko, Duy Loc Phan and Moonzoo Kim.
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage		 SimEvo: A Toolset for Simulink Test Evolution & Maintenance, Eric J.Rapos, James R.Cordy Keynote: How to get your paper rejected
Jeff Offutt- Inari Listenmaa
Testing Natural Language Grammars- Pablo Suárez-Otero
Analysis of the logical consistency in CassandraSocial activity for the participants
14:30 Sina Shamshiri, José Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw and Gordon Fraser.
How Do Automatically Generated Unit Tests Influence Software Maintenance?		 Fuzzinator: An Open-Source Modular Random Testing Framework, Renáta Hodován, Akos Kiss
15:00 Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli and Rui Xin.
Localizing Faults in Cloud Systems
15:30 Coffee Break + Demos
16:00 Demo Industry Track 2 Doctoral Symposium 3
– TECOR: Automate the Testing of One Product on Many Configurations, Anatoly Vasilevskiy, Hui Song, Brice Morin
– OCLgen: Automated Generation of Constraints from Use Case Specifications to Support System Testing, Chunhui Wang, Fabrizio Pastore, Lionel Briand
– Regression Test Visualization Using the Unity Game Engine – An Example of Visual Analytics in ASIC Design Verification, Markus Borg, Daniel Hansson, Andreas Brytting
– Interactive Repair of Test Scripts Using Various Clues in Web Application, Hiroyuki Kirinuki, Haruto Tanno, Katsuyuki Natsukawa
– Fawlty: A test framework for automated system-level testing, Per Erik Strandberg
– Test Script Generation Tool for Regression Testing using Static and Dynamic Analysis, Muneyoshi Iyama, Hiroyuki Kirinuki, Toshiyuki Kurabayashi, Haruto Tanno
– Running Experiments and Performing Data Analysis Using SchemaAnalyst and DOMINO, Abdullah Alsharif, Gregory Kapfhammer, Phil McMinn
– Jaguar: a spectrum-based fault localization tool, Henrique Lemos Ribeiro, Higor Amario de Souza, Roberto Paulo Andrioli De Araujo, Marcos Lordello Chaim, Fabio Kon
– Generating Database Schema Test Suites with DOMINO, Abdullah Alsharif, Gregory Kapfhammer, Phil McMinn		 Christian Schwarzl and Jens Herrmann.
Systematic Test Platform Selection		 João Paulo Pires
Knowledge Discovery Metamodel-based Unit Test Cases Generation
16:30 Apala Ray, Vipin Raj, Manuel Oriol, Aurelien Monot and Sebastian Obermeier.
Bluetooth Low Energy Devices Security Testing Framework		 Akond Rahman
Anti-Patterns in Infrastructure as CodeWrap up
17:00 Panel Discussion:
When are Software Testing Research Contributions, Real Contributions?
18:00 Buses leave from the Congress Center
19:00 Arrival at Munktell museum for the ICST banquet
19:30 Dinner
22:30 Departure from Eskilstuna at 22.30

Thursday 12th April

09:30 Keynote 3: Safety Verification for Deep Neural Networks
Marta Kwiatkowska
10:30 Coffee Break
11:00 Research 10 Mutation Analysis Defect Analysis
Qianqian Zhu, Annibale Panichella and Andy Zaidman.
An Investigation of Compression Techniques to Speed up Mutation Testing		 Fatemeh Sharifi and Hadi Hemmati.
Investigating NLP-based Approaches for Predicting Manual Test Case Failure
11:30 Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid and Sasa Misailovic.
Approximate Transformations as Mutation Operators		 Yang Feng, James Jones, Zhenyu Chen and Chunrong Fang.
An Empirical Study on Multi-Label Techniques for Software Failure Classification
12:00 Hojat Khosrowjerdi, Karl Meinke and Andreas Rasmusson.
Virtualized-Fault Injection Testing: a Machine Learning Approach		 Christopher Steven Timperley, Afsoon Afzal, Deborah Katz, Jam Marcos Hernandez and Claire Le Goues.
Crashing simulated planes is cheap: Can simulation detect robotics bugs early?
12:30 Lunch
14:00 Open Steering Commitee & Closing
15:30 Coffee Break
19:00 PC dinner at Pråmen, Västerås

Friday 13th April

WS6: InSTA WS7: IWCT WS8: TAIC PART WS9: A-MOST
09:00 Program Program Program Program
17:00