Simultaneous interpretation from English into Japanese will be provided for some sessions e.g. all keynote sessions.
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
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) |
Poster |
| 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
|
Poster |
| 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. |
Poster |
| 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. |
Poster |
| 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
Moderator:
Masafumi Katahira, JAXA
Panelists:
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 |
Poster |
| 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.
|
|
Poster |
| 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
Panelists:
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
Panelists:
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 |
|
|
|
|