10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) http://aster.or.jp/conference/icst2017/

1. Welcome to Waseda University!
Welcome to the Research Track!
PC Chairs:
Ina Schieferdecker
Fraunhofer FOKUS / Technische Universität Berlin, Germany
Hironori Washizaki
Waseda University, Global Software Engineering Laboratory
/ National Institute of Informatics / SYSTEM INFORMATION, Japan

2. 09 Denver
12 Montreal
14 Cleveland
16 Chicago
08
0910 1
1
12
17
13
14
15
16
http://www.sekaichizu.jp/
17 Tokyo
(Waseda U.)
08 Lillehammer
10 Paris
11 Berlin
13 Luxembourg
15 Graz

3. Geographic Distribution about N. Papers 2017

4. 135 submissions
36 accepted full papers (27%)
8 accepted short papers

5. 08 09 10 11 12 13 14 15 16 17
Session
s
Model Based Testing ○ ○ ○ ○ ○ ○ ○ ○ ○
Test Case Generation ○ ○ ○ ○ ○ ○ ○
Mutation Testing ○ ○ ○ ○ ○ ○
Web Testing ○ ○ ○ ○ ○ ○ ○ ○
GUI Testing ○ ○ ○ ○
Regression Testing ○ ○ ○ ○ ○ ○
Search-Based Testing ○ ○ ○ ○
Security Testing ○ ○ ○ ○
Bugs, Faults, and Failures ○ ○ ○ ○ ○ ○ ○
Coverage, White-box ○ ○ ○ ○ ○ ○
Worksh
ops
Model Based Testing ○ ○ ○ ○ ○ ○ ○ ○ ○ ○
Mutation Analysis ○ ○ ○ ○ ○ ○ ○ ○ ○
Security Testing ○ ○ ○ ○ ○ ○
Search-Based Testing ○ ○ ○ ○ ○ ○ (ICSE)
Regression Testing ○ ○ ○ ○
Combinatorial Testing ○ ○ ○ ○ ○ ○
Testing the Cloud ○ ○
Test Architecture ○ ○ ○
TAIC PART ○ ○ ○ ○ ○ ○ ○
Testing NFP and Quality ○
Adopted from the
slide made by
Keizo Tatsumi

6. 2017
201
1
2008
2014

7. Papers Nominated for Best Paper Award
• Efficient Incrementalized Runtime Checking of Linear Measures on Lists, Alex Gyori,
Pranav Garg, Edgar Pek and P. Madhusudan.
• Symbolic Complexity Analysis using Context-preserving Histories, Kasper Luckow, Rody
Kersten and Corina Pasareanu.
• Incremental Deductive Verification for Relational Model Transformations, Zheng Cheng
and Massimo Tisi.
• 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.
• The Fitness Function for the Job: Search-Based Generation of Test Suites that Detect Real
Faults, Gregory Gay.
• JavaScript: The (Un)covered Parts, Amin Milani Fard and Ali Mesbah.

8. Best Paper Award
•Symbolic Complexity Analysis using Context-preserving Histories
Kasper Luckow, Rody Kersten and Corina Pasareanu.
Room 201, 14:00-15:30 Mar 14
Best Reviewer Awards (for PC members)
•will be announced at the dinner on Mar 15
Best Presentation Award (for full papers)
•Remember to vote!
•will be announced at the closing session on Mar 16
http://bit.ly/icst2017