Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

ICST 2017 Day1 Opening Ceremony Research Track

1,628 views

Published on

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

Published in: Software
  • Be the first to comment

ICST 2017 Day1 Opening Ceremony Research Track

  1. 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. 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. 3. Geographic Distribution about N. Papers 2017
  4. 4. 135 submissions 36 accepted full papers (27%) 8 accepted short papers
  5. 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. 6. 2017 201 1 2008 2014
  7. 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. 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

×