Accepted Short Papers & Posters

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. Test Environment Construction Method using Parameterized Test Environments
• 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