APSEC 2018

Accepted papers

• Accepted Technical Research papers
• Accepted Software Engineering in Practice papers
• Accepted Early Research Achievements papers
• Accepted Poster papers

---

Technical Research papers

• Improving Development Practices through Experimentation: an Industrial TDD Case
• Adrian Santos Parrilla, Jaroslav Spisak, Markku Oivo and Natalia Juristo

• Analyzing Code Comments to Boost Program Comprehension
• Yusuke Shinyama, Yoshitaka Arahori and Katsuhiko Gondow

• SLAMPA: Recommending Code Snippets with Statistical Language Model
• Shufan Zhou, Hao Zhong and Beijun Shen

• The OIRE Method – Overview and Initial Validation
• Huishi Yin and Dietmar Pfahl

• Malicious JavaScript Code Detection Based on Hybrid Analysis
• Xincheng He, Lei Xu and Chunliu Cha

• Actual Use of Architecture Patterns in Microservices-based Open Source Projects
• Gaston Marquez and Hernan Astudillo

• Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Mobile Ad Hoc Mobile Networks
• Yati Phyo and Kazuhiro Ogata

• Predicting which pull requests will get reopened in GitHub
• Abdillah Mohamed, Li Zhang, Jing Jiang and Ahmed Ktob

• A Bird’s Eye View on Requirements Engineering and Machine learning
• Tahira Iqbal, Parisa Elahidoost and Levi Lucio

• On the Use of Automated Log Clustering to Support Effort Reduction in Continuous Engineering
• Carl Martin Rosenberg and Leon Moonen

• ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps
• Cong Li, Chang Xu, Lili Wei, Jue Wang, Jun Ma and Jian Lu

• Detecting Duplicate Bug Reports with Convolutional Neural Network
• Qi Xie, Zhiyuan Wen, Jieming Zhu, Cuiyun Gao and Zibin Zheng

• Accelerating Automated Android GUI Exploration with Widgets Grouping
• Chun Cao, Hongjun Ge, Tianxiao Gu, Jing Deng, Ping Yu and Jian Lü

• A Top-k Learning to Rank Approach to Cross-Project Software Defect Prediction
• Feng Wang, Jinxiao Huang and Yutao Ma

• STAR: A Specialized Tagging Approach for Repositories on Docker Hub
• Kang Yin, Wei Chen, Guoquan Wu and Jun Wei

• A Dynamic Fitness Function Based on Branch Hardness for Search Based Software Testing
• Ziming Zhu, Li Jiao and Xiong Xu

• End-to-End Automated Verification for OS Kernels
• Jizheng Ding, Xiaoran Zhu and Jian Guo

• How are Issue Units Linked? Empirical Study on the Linking Behavior in GitHub
• Lisha Li, Zhilei Ren, Xiaochen Li, Weiqin Zou and He Jiang

• Kurtosis and Skewness Adjustment for Software Effort Estimation
• Seiji Fukui, Akito Monden and Zeynep Yucel

• Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment
• Markus Weninger, Paul Grünbacher, Huihui Zhang, Tao Yue and Shaukat Ali

• What Do Agile Teams Find Important for their Success?
• Hiva Alahyari, Jennifer Horkoff, Olliver Matsson and Kim Egenval

• Specification and Verification of Invariant Properties of Transition Systems
• Daniel Gaina, Ionut Tutu and Adrian Riesco

• SOQDE: A Supervised Learning based Question Difficulty Estimation Model for Stack Overflow
• Sk. Adnan Hassan, Dipto Das, Anindya Iqbal, Amiangshu Bosu, Rifat Shahriyar and Toufique Ahmed

• Development of a User-Interactive Agent Simulation System with the Blackboard Architectural Pattern
• David Tai, Power Wu and Alan Liu

• Are Smell-Based Metrics Actually Useful in Effort-Aware Structural Change-Proneness Prediction? An Empirical Study
• Huihui Liu, Yijun Yu, Bixin Li, Yibiao Yang and Ru Jia

• Assumptions in OSS Development: An Exploratory Study through the Hibernate Developer Mailing List
• Zhuang Xiong, Peng Liang, Chen Yang and Tianqing Liu

• Accelerated Finite State Machine Test Execution Using GPUs
• Vanya Yaneva, Arnav Kapoor, Ajitha Rajan and Christophe Dubach

• A Multi-goal Oriented Approach for Adaptation Rules Generation
• Yang Liu, Zhengyin Chen and Wenpin Jiao

• An Empirical Study of SDK Credential Misuse in iOS Apps
• Haohuang Wen, Juanru Li, Yuanyuan Zhang and Dawu Gu

• Finding a boundary between valid and invalid regions of the input space
• Bogdan Marculescu and Robert Feldt

• A Review on Software Architectures for Heterogeneous Platforms
• Hugo Andrade and Ivica Crnkovic

• Visualizing test diversity to support test optimisation
• Francisco Gomes de Oliveira Neto, Robert Feldt, Linda Erlenhov and Jose Benardi de Souza Nunes

• Multi-discussing across Issues in GitHub: a preliminary study
• Dongyang Hu, Wang Tao, Yang Zhang, Junsheng Chang and Gang Yin

• Running OS Kernel in Separate Domains: A New Architecture for Applications and OS Services Quarantine
• Weijuan Zhang, Xiaoqi Jia, Shengzhi Zhang, Rui Wang and Peng Liu

• Relax: Automatic Contention Detection and Resolution for Configuration related Performance Tuning
• Zhimin Feng, Shanshan Li, Xiangke Liao, Xiaodong Liu, Yunfeng Li and Shulin Zhou

• Scalable Verification Framework for C Program
• Guang Chen, Dexi Wang, Tianchi Li, Chao Zhang, Ming Gu and Jiaguang Sun

• Power-aware Allocation of Fault-tolerant Multi-rate AUTOSAR Applications
• Nesredin Mahmud, Guillermo Rodriguez-Navas, Hamid Reza Faragardi, Saad Mubeen and Cristina Seceleanu

• A JavaScript Transpiler for Escaping from Complicated Usage of Cloud Services and APIs
• Kosaku Kimura, Atsuji Sekiguchi, Shridhar Choudhary and Tadahiro Uehara

• Scalable and Extensible Static Memory Safety Analysis with Summary Over Access Path
• Guang Chen, Min Zhou, Jiaguang Sun and Xiaoyu Song

• Automatically Generating API Usage Patterns from Natural Language Queries
• Yanfei Tian, Xu Wang, Hailong Sun, Yi Zhao, Chunbo Guo and Xudong Liu

• NotOnlyLog: Mining Patch-Log Associations from Software Evolution History to Enhance Failure Diagnosis Capability
• Shuqi Chi, Zhouyang Jia, Yong Guo, Shanshan Li, Xiangke Liao and Haochen He

• Why Did This Reviewed Code Crash? An Empirical Study of Mozilla Firefox
• Le An, Foutse Khomh, Shane McIntosh and Marco Castelluccio

• Categorizing and Predicting Invalid Vulnerabilities on Common Vulnerabilities and Exposures
• Qiuyuan Chen, Lingfeng Bao, Li Li, Xin Xia and Liang Cai

• BCFinder:A Lightweight and Platform-independent Tool to Find Third-party Components in Binaries
• Wei Tang and Ping Luo

• A Comparison of Nano-patterns Vs. Software Metrics in Vulnerability Prediction
• Kazi Zakia Sultana, Byron Williams and Amiangshu Bosu

• A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation
• Qingyu Jiang and Jing Liu

• Codifying Hidden Dependencies in Legacy J2EE Applications
• Geoffrey Hecht, Hafedh Mili, Ghizlane Elboussaidi, Anis Boubaker, Manel Abdellatif, Yann-Gael Guéhéneuc, Anas Shatnawi, Jean Privat and Naouel Moha

• What Aspects do Non-functional Requirements in App User Reviews Describe?: An Exploratory and Comparative Study
• Tianlu Wang, Peng Liang and Mengmeng Lu

• Understanding the Reputation Differences between Women and Men on Stack Overflow
• Yi Wang

• Multi-objective iteration planning in agile development
• Wisam Haitham Abbood Al-Zubaidi, Hoa Khanh Dam, Morakot Choetkiertikul and Aditya Ghose

• Architecture Patterns, Quality Attributes, and Design Contexts: How Developers Design with Them?
• Tingting Bi, Peng Liang and Antony Tang

• PyReload: Dynamic Updating of Python Programs by Reloading
• Wei Tang and Min Zhang

---

Software Engineering in Practice papers

• MatGap: A Systematic Approach to Perform Match and Gap Analysis among SBVR-based Domain Specific Business Rules
• Sayandeep Mitra, Chandan Prakash, Shayak Chakraborty and Pavan Kumar Chittimalli

• Transitioning from manual to automated software regression testing: Experience from the banking domain
• Abdurrahman Akın, Şerafettin Şentürk and Vahid Garousi

• A Design Method for Domain-Specific Models of Software Requirements Specification Based on Stakeholders’ Concerns
• Akiyuki Takoshima and Mikio Aoyama

• Software and Infrastructure Log-Based Framework for Identifying the Causes of System Faults
• Noriko Hanakawa and Masaki Obana

• Extracting Candidates of Microservices from Monolithic Application Code
• Manabu Kamimura, Keisuke Yano, Tomomi Hatano and Akihiko Matsuo

• Migration to Software Product Line Development of Automotive Body Parts by Architectural Refinement with Feature Analysis
• Yoichi Nishiura, Masaki Asano and Tsuneo Nakanishi

• A Quality Model and its Quantitative Evaluation Method of Web APIs
• Rieko Yamamoto, Kyoko Ohashi, Masahiro Fukuyori, Mikio Aoyama, Kosaku Kimura, Atsuji Sekiguchi, Tadahiro Uehara and Ryuichi Umekawa

• Team Composition and Team Factors in Software Engineering: An Interview Study of Project-based Organizations
• Dora Dzvonyar and Bernd Bruegge

• Adopting MBSE in Construction Equipment Industry: An Experience Report
• Jagadish Suryadevara and Saurabh Tiwari

• Model- Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System
• Aitziber Iglesias, Tao Yue, Cristóbal Arellano, Shaukat Ali and Goiuria Sagardui

• Providing Technical Software Documentation as a Service - An Industrial Experience Report
• Georg Buchgeher, Claus Klammer, Bernhard Dorninger and Albin Kern

---

Early Research Achievements papers

• Live Search of Fix Ingredients for Automated Program Repair
• Kui Liu, Anil Koyuncu, Kisub Kim, Dongsun Kim and Tegawendé F. Bissyandé

• Automated Code-based Test Selection for Software Product Line Regression Testing
• Pilsu Jung, Sungwon Kang, Jihyun Lee and Teahyun Park

• unjQuerify: Migration of jQuery Snippets to Modern Vanilla JavaScript APIs
• Dereck Bridie, Shinsuke Matsumoto and Shinji Kusumoto

• Applying Gamification and Posing to Software Development
• Masateru Tsunoda and Hirotaka Yumoto

• Verification of CPS Based on Control Loop using Model Checking
• Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi and Hiroyuki Nakagawa

• A Doc2Vec-Based Assessment of Comments and Its Application to Change-Prone Method Analysis
• Hirohisa Aman, Sousuke Amasaki, Tomoyuki Yokogawa and Minoru Kawahara

• ICAT: An IoT Device Compatibility Testing Tool
• Woei-Kae Chen, Chien-Hung Liu, William W.-Y. Liang and Ming-Yi Tsai

• An Automatic Approach to Validating Log Levels in Java
• Tae-Young Kim, Suntae Kim, Sooyong Park and Soohwan Cho

• xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems
• Chunlin Guan, Yi Ao, Dehui Du and Frédéric Mallet

• Organising and Querying program portions from repositories to reveal potential for parallelism
• Emiliano Tramontana, Andrea Fornaia, Misael Mongiovì and Giuseppe Pappalardo

• DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models
• Qiang Hu, Lei Ma and Jianjun Zhao

• Multilingual Detection of Code Clones Using ANTLR Grammar Definitions
• Yuichi Semura, Norihiro Yoshida, Eunjong Choi and Katsuro Inoue

• Large-scale Evaluation of the Efficiency of Runtime-Verification Tools in the Wild
• Omar Javed and Walter Binder

• An Investigation of the Relationship Between Extract Method and Change Metrics: A Case Study of JEdit
• Eunjong Choi, Daiki Tanaka, Norihiro Yoshida, Kenji Fujiwara, Daniel Port and Hajimu Iida

• lpt: a Tool for Tuning the Level of Parallelism of Spark Applications
• Edgar Eduardo Rosales Rosero, Andrea Rosà and Walter Binder

---

Poster papers

• Hybrid Testing Environment of Execution Testing and Model Checking for Product Line Approach
• Yusuke Aoyama, Takeru Kuroiwa and Noriyuki Kushiro

• A Visualization System of the Contribution of Learners in Software Development PBL using GitHub
• Yutsuki Miyashita, Atsuo Hazeyama, Hiroaki Hashiura, Masayuki Goto and Shigeichi Hirasawa

• kGenProg: A High-performance, High-extensibility and High-portability APR System
• Yoshiki Higo, Shinsuke Matsumoto, Ryo Arima, Akito Tanikado, Keigo Naitou, Junnosuke Matsumoto, Yuya Tomida and Shinji Kusumoto

• Investigating Vector-based Detection of Code Clones Using BigCloneBench
• Kazuki Yokoi, Eunjong Choi, Norihiro Yoshida and Katsuro Inoue

• Automatic Extraction of Reorganization Impact Focusing on Derivation Relationship of Analogous Actor Terms in Requirements Specification
• Hiroki Takahasi, Norifumi Nomura, Tadahisa Kondou and Mari Inoki

• Improving Bug Localization with Character-level Convolutional Neural Network and Recurrent Neural Network
• Yan Xiao and Jacky Keung

• Automated Repair of Data Faults in Templated Spreadsheets
• Xiaoyan Wang, Quan Yu and Guowei Yang

• Fuse: An Architecture for Smart Contract Fuzz Testing Service
• W. K. Chan and Bo Jiang

• Text-based Testing Environment for Voice-based Services
• Eungjun Kim, Hoijin Yoon and Wonuk Cha

• Automatic Generation of Pseudocode with Attention Seq2seq Model
• Shaofeng Xu and Yun Xiong

• Minimising Changes when Refactoring Applications to Run Multiple Threads
• Emiliano Tramontana

• An Empirical Study on the Reliability of the Web API Document
• Masaki Hosono, Hironori Washizaki, Yoshiaki Fukazawa and Kiyoshi Honda

• A Preprocessing Method of Test Input Generation by Symbolic Execution for Enterprise Application
• Hiroki Ohbayashi, Hideyuki Kanuka and Chikashi Okamoto

• Importance Mesurement for the Integration of Construction CALS Systems in South Korea
• Seong Yun Jeong and Nam Gon Kim

• Reducing redundant checking for visual regression testing
• Yu Adachi, Haruto Tanno and Yu Yoshimura

• An Exploratory Study to Identify Similar Patches: A Case Study in Modern Code Review
• Dong Wang, Raula Gaikovina Kula and Kenichi Matsumoto

• Combining Document Embedding model with Information Retrieval to Recommend Similar Bugs
• Dongyang Hu, Ming Chen, Tao Wang, Junsheng Chang, Gang Yin, Yue Yu and Yang Zhang