Program in PDF format is available.

Program Overview

Sun March 12 Mon March 13 Tue March 14 Wed March 15 Thu March 16 Fri March 17
Co-located Events Day Workshops & Co-located Events Day Main Conference Day Workshops & Doctoral Symposium Day
  • Keynote-3
  • Various sessions
  • Open steering committee

A workshop registration does not include the conference registration. The conference registration does not include workshops. Doctoral Symposium does not require a registration.
Co-located Events (i.e. IWESEP, Asian PLoP and IPSJ SIGSE) require separate registration from ICST. Please visit the web sites for those events.

Simultaneous interpretation from English into Japanese will be provided for some sessions e.g. all keynote sessions.

Program Details

Rxx: Research full paper sessions, Sxx: Research short paper sessions, Txx: Tool paper sessions,Ixx: Industry paper sessions, Dxx: Tool demo sessions, Cxx: Testing contest, Axx/J01: Special sessions

Mon. March 13
Workshops & Co-located Events Day
Room: 203 Room: 204 Bldg. 62 Conference Room - Medium Bldg. 62 Conference Room - Large
8:15- Registration & Breakfast
  6th International Workshop on Combinatorial Testing (IWCT 2017)

Scheduled at 9:00 - 17:05

1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS 2017)

Scheduled at 9:00 - 17:30

The 12th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques (TAIC PART 2017)

Scheduled at 9:00 - 17:00

The 12th International Workshop on Mutation Analysis (Mutation 2017)

Scheduled at 9:00 - 17:45

10:30-11:00 Coffee Break, 12:30-14:00 Lunch, 15:30-16:00 Coffee Break

Tue. March 14
Main Conference Day (Day-1)
Room: 201 Room: 202 Room: 203 Room: 204 Lobby
8:15- Registration & Breakfast
9:00-9:30 Opening (PDF 3.1MB)
9:30-10:30 Keynote-1

Session chair: Atif Memon

The State of Continuous Integration Testing at Google.
John Micco, Google, USA
10:30-11:00 Coffee Break
11:00-12:30 I01: Industry #1

Session chair: Murat Ozturk

  • Towards A Testbed for Automotive Cybersecurity
    Daniel S. Fowler, Madeline Cheah, Siraj Ahmed Shaikh and Jeremy Bryans
  • How to Test in Sixteen Languages? Automation Support for Localization Testing
    Rudolf Ramler and Robert Hoschek
R08: Model-Based Testing I

Session chair: Shaukat Ali

  • Non-Semantics-Preserving Transformations For Higher-Coverage Test Generation Using Symbolic Execution
    Hayes Converse, Oswaldo Olivo and Sarfraz Khurshid.
  • Uncertainty-Driven Black-Box Test Data Generation
    Neil Walkinshaw and Gordon Fraser.
  • Automated Test Generation and Mutation Testing for Alloy
    Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem and Sarfraz Khurshid.
R01: Fault Localization and Injection

Session chair: Mike Papadakis

  • Localizing Faults in SQL Predicates
    Yun Guo, Amihai Motro and Nan Li.
  • Prevalence of Single-Fault Fixes and its Impact on Fault Localization
    Alexandre Perez, Rui Abreu and Marcelo d'Amorim.
  • FIFA: A Kernel-Level Fault Injection Framework for ARM-based Embedded Linux System
    Eunjin Jeong, Namgoo Lee, Jinhan Kim, Duseok Kang and Soonhoi Ha.
D01: Introduction of the Tools to be Demonstrated

Session chair: Ana Paiva

Presentations on the tools to be demonstrated in D02-D03: Live Demonstrations(10 minutes each, in the order listed in the program for D02-D03)

12:30-14:00 Lunch
14:00-15:30 R02: Debugging, Composite Faults and Complexity Analysis

Session chair: Jose Miguel Rojas

  • Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures
    Jing Xu, Yu Lei and Richard Carver.
  • The Theory of Composite Faults
    Rahul Gopinath, Carlos Jensen and Alex Groce.
  • Symbolic Complexity Analysis using Context-preserving Histories
    Kasper Luckow, Rody Kersten and Corina Pasareanu.
T01: Model Checking and DSL-based Testing

Session chair: Domenico Amalfitano

  • NIVAnalyzer: a Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android Apps
    Junjie Tang, Xingmin Cui, Ziming Zhao, Shanqing Guo, Xinshun Xu, Chengyu Hu, Tao Ban and Bing Mao.
  • Efficient Safety Proofs for Industry-Scale Code using Abstractions and Bounded Model Checking
    Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan and R. Venkatesh.
  • NuSeen: a tool framework for the NuSMV model checker
    Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene.
R09: Model-Based Testing II

Session chair: Nan Li

  • Model-Based Testing IoT Communication via Active Automata Learning
    Martin Tappler, Bernhard K. Aichernig and Roderick Bloem.
  • Model-based API Testing of Apache ZooKeeper
    Cyrille Valentin Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe and Mitsuharu Yamamoto.
  • System Testing of Timing Requirements based on Use Cases and Timed Automata
    Chunhui Wang, Fabrizio Pastore and Lionel Briand.
D02-03: Live Demonstrations

Session chair: Bruno Lima

  • Non-intrusive performance measurement framework for desktop apps.
    Fu-Hung Yen, Ming-Da Ho, Shao-Chieh Lien and Walter.
  • APITester: API Testing Based on Interface Semantic Contract.
    Xinxin Zhuo, Xiaoying Bai, Jing Xu, Wenli Song, Yu Liu, Jiehui Kang and Enpeng Li.
  • Accelerating Test Automation using a Domain Specific Language: Tool Demo.
    Dipin Era, Catherine Moolayil, Anurag Dwarakanath, Neville Dubash and Sanjay Podder.
  • Test Design as Code: JCUnit.
    Hiroshi Ukai and Xiao Qu.
  • Haiyang Sun, Andrea Rosà and Walter Binder.
    ADRENALIN-RV: Android Runtime Verification using Load-time Weaving.
  • Code Defenders: A Mutation Testing Game (DEMO).
    Thomas D White, José Miguel Rojas and Gordon Fraser.
  • Roper: An Enterprise-level invariant-based testing tool for websites
    Jordi Carres, Nan Li and Charles Abbott

(All authors will be available to demostrate their tools during D02-D03 sessions all the time)

15:30-16:00 Coffee Break
16:00-17:30 R03: Security Testing

Session chair: Franz Wotawa

  • Coveringcerts: Combinatorial Methods for X.509 Certificate Testing
    Kristoffer Kleine and Dimitris E. Simos.
  • Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach
    Sultan Alqahtani, Ellis E. Eghan and Juergen Rilling.
  • Mining Sandboxes for Linux Containers
    Zhiyuan Wan, David Lo, Xin Xia, Liang Cai and Shanping Li.
S01: New Methods and Empirical Results (short papers)

Session chair: Zijiang James Yang

  • A Comparative Study of Manual and Automated Testing for Industrial Control Software
    Eduard Enoiu, Adnan Causevic, Daniel Sundmark and Paul Pettersson.
  • How Do Assertions Impact Coverage-based Test-Suite Reduction?
    Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang and Bing Xie.
  • Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
    Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens and Patrick Heymans.
  • Assessing and Improving the Mutation Testing Practice of PIT
    Thomas Laurent, Mike Papadakis, Marinos Kintis, Christopher Henard, Yves Le Traon and Anthony Ventresque.
J01: Special Session - Demands and Efforts in Software Engineering and IV&V among Japanese government and a company

Session chair: Tetsuro Katayama

  • Aiming to realize a "Reliable IT Society".
    Tatsuo Tomita
  • Systematic Approach toward Dependable System Development.
    Takaaki Matsumoto
  • R&D activities on test processes, analysis and design in VeriServe Corporation.
    Koichi Tanizaki
19:00-21:00 Welcome Reception at a Cafeteria on the 1st Floor of Building 63
Wed. March 15
Main Conference Day (Day-2)
Room: 201 Room: 202 Room: 203 Room: 204 Lobby
8:30- Registration & Breakfast
9:15-9:30 Opening

Introduction of JSTQB and its activities
Keiji Uetsuki, JSTQB Technical Committee, Japan
9:30-10:30 Keynote-2

Session chair: Hironori Washizaki

Testing and Validation Requirements for Automated Driving Technology.
Kenji Nishikawa, Toyota Motor Corporation, Japan.
10:30-11:00 Coffee Break
11:00-12:30 I02: Industry #2

Session chair: Bao Nguyen

  • Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google
    Abdullah Al-Nayeem, Krzystof Ostrowski, Sebastian Pueblas, Christophe Restif and Sai Zhang
  • Rashid Darwish, Lynnie Nakyanzi Gwosuta and Richard Torkar
    A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry
  • An Industrial Study of Natural Language Processing Based Test Case Prioritization
    Yilin Yang, Xinhai Huang, Xuefei Hao, Zicong Liu and Zhenyu Chen.
R10: Automated and Run-time Testing

Session chair: Zijiang James Yang

  • Efficient Incrementalized Runtime Checking of Linear Measures on Lists
    Alex Gyori, Pranav Garg, Edgar Pek and P. Madhusudan.
  • Behavioral Execution Comparison: Are Tests Representative of Field Behavior?
    Qianqian Wang, Yuriy Brun and Alessandro Orso.
  • Automated Random Testing in Multiple Dispatch Languages
    Simon Poulding and Robert Feldt.
R04: Regression Testing

Session chair: Shin Yoo

  • Perphecy: Performance Regression Test Selection Made Simple but Effective
    Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth and Peter F. Sweeney.
  • A Selection Method for Black Box Regression Testing with a Statistically Defined Quality Level
    Ibrahim Alagöz, Thomas Herpel and Reinhard German.
  • Private API Access and Functional Mocking in Automated Unit Test Generation
    Andrea Arcuri, Gordon Fraser and René Just.
C01: Testing contest #1

Session chair: Emil Alégroth and Tanja E. J. Vos

Welcome and introduction to the contest
Emil Alégroth, Blekinge Institute of Technology, Sweden
Tanja E.J Vos, Open Universiteit, The Netherlands

Start competing with your solution!
Try to find as many failures as you can in the mutated version of TESTONA.

12:30-14:00 Lunch
14:00-15:30 A01: Special Session - Aerospace IV&V: Why and how we use software testing to trust products #1

Session chair: Naoki Ishihama

Usage of software testing at NASA IV&V (with VIDEO)
Justin R. Morris, NASA

How European Space Agency are using Independent Software Verification and Validation for Flight Software Development
Maria Hernek, ESA

How JAXA uses software testing for IV&V, and what is the needs
Naoko Okubo, JAXA

R05: Web and Mobile Applications

Session chair: Nan Li

  • Using Semantic Similarity in Crawling-based Web Application Testing
    Jun-Wei Lin, Farn Wang and Paul Chu.
  • Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests
    Mattia Fazzini, Eduardo Noronha De A. Freitas, Shauvik Roy Choudhary and Alessandro Orso.
  • ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications
    Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang and Xuandong Li.
S02: New Theories and Tools (short papers)

Session chair: Robert Feldt

  • Generic and Effective Specification of Structural Test Objectives
    Michael Marcozzi, Mickael Delahaye, Sebastien Bardin, Nikolay Kosmatov and Virgile Prevosto.
  • Ariadne: Hybridizing Directed Model Checking and Static Analysis
    Reed Milewicz and Peter Pirkelbauer.
  • A Toolkit for Testing Stochastic Simulations against Statistical Oracles
    Matthew Patrick, Ruairi Donnelly and Christopher A. Gilligan.
  • O!Snap: Cost-Efficient Testing in the Cloud
    Alessio Gambi, Alessandra Gorla and Andreas Zeller.
C02: Testing contest #2

Session chair: Kinji Akemine

Continue to compete with your solution!
Try to find as many failures as you can in the mutated version of TESTONA.

15:30-16:00 Coffee Break
16:00-17:30 A02: Special Session - Aerospace IV&V: Why and how we use software testing to trust products #2

Session chair: Naoki Ishihama

Integrated Formal Analysis for Software IV&V
Hideki Nomoto, JAMSS

Panel Discussion with audience:
The needs for software testing from Aerospace IV&V domain and Testing technology

Masafumi Katahira, JAXA

Maria Hernek, ESA
Naoko Okubo, JAXA
Hideki Nomoto, JAMSS
Takao Futagami, TOYO Corp.
Koichi Tanizaki, VeriServe Corp.

T02: Code Analysis and White Box Testing

Session chair: Anna Rita Fasolino

  • Transferring State-of-the-art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark
    Benjamin Holland, Ganesh Ram Santhanam and Suresh Kothari.
  • Accelerating Test Automation through a Domain Specific Language
    Anurag Dwarakanath, Dipin Era, Aditya Priyadarshi, Neville Dubash and Sanjay Podder.
  • Taming Coverage Criteria Heterogeneity with LTest
    Michaël Marcozzi, Sébastien Bardin. Mickaël Delahaye, Nikolai Kosmatov and Virgile Prevosto.
  • Test Design as Code: JCUnit
    Hiroshi Ukai and Xiao Qu.
R06: Parallel Systems and Concurrency

Session chair: Ina Schieferdecker

  • Automated Testing of Definition-Use Data Flow for Multi-Threaded Programs
    Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao and Ting Liu.
  • IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants
    Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman and Neeraj Suri.
  • Verifying Concurrent Programs using Contracts
    Ricardo Dias, Carla Ferreira, Jan Fiedor, João Lourenço, Ales Smrcka, Diogo G. Sousa and Tomas Vojnar.
C03: Testing contest #3

Session chair: Shinsuke Matsuki

Continue to compete with your solution!
Try to find as many failures as you can in the mutated version of TESTONA.

Anounce the winner and prize award
Shinsuke Matsuki, VeriServe Corporation, Japan
Kinji Akemine, NTT DATA Corp, Japan

19:30-21:30 Banquet at "SUNSHINE CRUISE CRUISE" in Ikebukuro (chartered buses from the university are available)
Thu. March 16
Main Conference Day (Day-3)
Room: 201 Room: 202 Room: 203 Room: 204 Lobby
8:30- Registration & Breakfast
9:15-9:30 Opening
9:30-10:30 Keynote-3

Session chair: Ina Schieferdecker

Model-Based Testing and Model Inference: Better Together!
Andreas Zeller, Saarland University, Germany
10:30-11:00 Coffee Break
11:00-12:30 F01:Tutorial

Understanding the UML Testing Profile 2 – A Modelling Language for Test Design
Marc-Florian Wendland, Fraunhofer FOKUS, Germany
R07: Empirics on Testing

Session chair: Mike Papadakis

  • Are there any Unit Tests? An Empirical Study on Unit Testing in Open Source Python Projects
    Fabian Trautsch and Jens Grabowski.
  • Broadcast vs. Unicast Review Technology: Does it Matter?
    Armstrong Tita Foundjem, Foutse Khomh and Bram Adams.
  • JavaScript: The (Un)covered Parts
    Amin Milani Fard and Ali Mesbah.
R11: Search-Based Testing

Session chair: Shin Yoo

  • The Fitness Function for the Job: Search-Based Generation of Test Suites that Detect Real Faults
    Gregory Gay.
  • A Search-based Testing Approach for XML Injection Vulnerabilities in Web Applications
    Sadeeq Jan, Cu D. Nguyen, Andrea Arcuri and Lionel Briand.
  • CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-objective Test Optimization
    Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue and Marius Liaaen.
12:30-14:00 Lunch
14:00-15:30 P01: Panel
  • Bleeding-Edge Testing Challenges that the Software Industry Faces - an Invitation to Researchers to Address these Challenges

    Session chair: Atif Memon

    John Micco, Google, USA
    Bao Nguyen, Google, USA
    Murat Ozturk, Google, USA
    Adithya Nagarajan, Apple, USA

  • Quality and testing in Software Engineering curriculum

    Session chair: Shlomo Mark

    Ina Schieferdeker, Fraunhofer FOKUS, Germany
    Tanja Vos, Open University in The Netherlands, Netherlands
    Shuji Morisaki, Nagoya University, Japan
    Jens Krinke, University College London, United Kingdom
    Shlomo Mark, SCE Israel, Israel

T03: Dynamic Analysis

Session chair: Eun-Hye Choi

  • SAGA toolbox: Interactive Testing of Guarded Assertions
    Daniel Flemström, Thomas Gustafsson and Avenir Kobetski.
  • TITAN: Test Suite Optimization for Highly Configurable Software
    Dusica Marijan, Marius Liaaen, Arnaud Gotlieb, Sagar Sen and Carlo Ieva.
  • ADRENALIN-RV: Android Runtime Verification using Load-time Weaving
    Haiyang Sun, Andrea Rosà, Omar Javed and Walter Binder.
R12: Model Checking and Verification

Session chair: Darko Marinov

  • Incremental Deductive Verification for Relational Model Transformations
    Zheng Cheng and Massimo Tisi.
  • Statistical Model Checking Meets Property-Based Testing
    Bernhard K. Aichernig and Richard Schumi.
  • Timed k-Tail: Automatic Inference of Timed Automata
    Fabrizio Pastore, Daniela Micucci and Leonardo Mariani.
15:30-16:00 Coffee Break
16:00-17:30 Open Steering Commitee & Closing
Fri. March 17
Workshops & Doctoral Symposium Day
Room: 201 Room: 202 Room: 203 Room: 204
8:30- Registration & Breakfast
  13th Workshop on Advances in
Model Based Testing (A-MOST 2017)

Scheduled at 9:00 - 17:30

4th International Workshop on Software Test Architecture (InSTA 2017)

Scheduled at 9:00 - 17:00

ICST Doctoral Symposium

Scheduled at 9:00 - 15:30

The First Asian Symposium on Collaborative Software Engineering (ACSE 2017)

Scheduled at 9:30 - 15:00

10:30-11:00 Coffee Break, 12:30-14:00 Lunch, 15:30-16:00 Coffee Break