Accepted Short Papers & Posters

  • Jing Liu and Wenjie Chen. Optimized Test Data Generation for RESTful Web Service
  • Xuan-Linh Ha and Kazuhiro Ogata. Writing concurrent Java programs based on CafeOBJ specifications
  • Xingshen Song,Yuexiang Yang and Yu Jiang. Software Optimizations of Multiple Sets Intersection via SIMD Instructions
  • Tetsuo Yamamoto. Code Suggestion of Method Call Statements using a Source Code Corpus
  • Tianxia Wang and Yan Liu. Facilitating Scenario-based Program Comprehension with Topic Models
  • Tomohiro Ohtake, Yohei Seki and Toshihiro Kodaka. Steiner Tree based Recommendation System for Combination of APIs and IoT Devices
  • Sahan Serasinghe, Haifeng Shen and David Chen. iLSE: An Intelligent Web-based System for Log Structuring and Extraction
  • Qing Mi, Jacky Keung, Yan Xiao and Solomon Mensah. Identifying Textual Features of High-Quality Questions: An Empirical Study on Stack Overflow
  • Michael Szvetits and Uwe Zdun. Automatic Generation of Monitoring Code for Model Based Analysis of Runtime Behaviour
  • Chengying Mao and Xuzheng Zhan. Towards an Improvement of Bisection-Based Adaptive Random Testing
  • Luciana Provenzano, Kaj Hänninen, Jiale Zhou and Kristina Lundqvist. An Ontological Approach to Elicit Safety Requirements
  • Judy Bowen and Anke Dittmar. Formal Definitions for Design Spaces and Traces
  • Colin Pilbrow and Steve Reeves. Characterising Sound Visualisations of Specifications using Micro-charts and Refinement
  • Feiyue Yu, Hao Zhong and Beijun Shen. How do Programmers Maintain Concurrent Code
  • Laurent Wouters, Stephen Creff, Emma Effa Bella and Ali Koudri. Towards Semantic-Aware Collaborations in Systems Engineering
  • Edgar Eduardo Rosales Rosero, Andrea Rosà and Walter Binder. tgp: a Task-Granularity Profiler for the Java Virtual Machine
  • Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem and Marius Bozga. Knowledge Based Optimization for Distributed Real-Time Systems
  • Chen Wang, Xiaoyuan Xie, Peng Liang and Jifeng Xuan. Multi-Perspective Visualization to Assist Code Change Review
  • Guoping Rong, Qiuping Zhang, Xinbei Liu and Shenghui Gu. A Systematic Review of Logging Practice in Software Engineering
  • Sousuke Amasaki and Chris Lokan. An Evaluation of Selection Methods for Time-Aware Effort Estimation
  • Amjed Tahir, Sherlock Licorish and Stephen MacDonell. Feature Evolution and Reuse – An Exploratory Study of Eclipse
  • Kristian Fjeld Hasselknippe and Jingyue Li. A Novel Tool for Automatic GUI Layout Testing
  • Haiyang Sun, Alexander North and Walter Binder. Multi-process Runtime Verification for Android
  • Chih-Hong Cheng, Yassine Hamza and Harald Ruess. Automated Analysis of Multi-View Software Architectures
  • Dong Hun Song, Yongjin Seo and Hyeon Soo Kim. Construction Method of Docker Based Test Environments for Test Automation
  • Jiyoung Song, Young-Min Baek, Mingyu Jin, Eunkyoung Jee and Doo-Hwan Bae. SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS
  • Kwabena Bennin, Jacky Keung and Akito Monden. Impact of the Distribution Parameter of Data Sampling Approaches on Software Defect Prediction Models
  • Georgia Kapitsaki and Demetris Paschalides. Identifying terms in open source software license texts
  • Israt Fatema. Factors Influencing Productivity of Agile Software Development Teamwork: A Qualitative System Dynamics Approach
  • Li Sui, Jens Dietrich and Amjed Tahir. On the Use of Mined Stack Traces to Improve the Soundness of Statically Constructed Call Graphs
  • Djamel Eddine Khelladi, Horacio Hoyos Rodriguez, Roland Kretschmer and Alexander Egyed. An Exploratory Experiment on Metamodel-Transformation Co-Evolution
  • Danielle Gaither, Hyunsook Do and Barrett R. Bryant. Toward Detection of Abnormal Behaviors in Timing and Security Requirements
  • Li Mengjun. Generating Equality Loop Invariants with Functions Based on Random Testing, Constraint Solving and Verification
  • Navdeep Singh and Paramvir Singh. How Do Code Refactoring Activities Impact Software Developers’ Sentiments? – An Empirical Investigation into GitHub Commits
  • Yuichi Semura, Norihiro Yoshida, Eunjong Choi and Katsuro Inoue. CCFinderSW: Clone Detection Tool with Flexible Multilingual Tokenization
  • Suppasit Roongsangjan, Thanwadee Sunetnanta and Pattanasak Mongkolwat. Structuring the Knowledge for Software Process Appraisal Towards Semi-automated Support
  • Bo Wan, Xi Li, Haizhao Luo, Kaiqi Zhou, Chao Wang, Xianglan Chen and Xuehai Zhou. Clockwerk: A Predictable and Efficient Extension of Logical Execution Time Model
  • Haojie Gong and Bohan Liu. A Kanban Based Software Process Simulation Model
  • Md Rakib Hossain Misu and Kazi Sakib. Interface Driven Code Clone Detection
  • Abdus Satter, M G Muntaqeem, Nadia Nahar and Kazi Sakib. Retrieving Self-executable and Functionally Correct Codes to Improve Source Code Search