SETA: Software Engineering Technologies & Applications
The Software Engineering Technology and Applications (SETA) symposium is an integral part of the IEEE COMPSAC conference. We invite submissions of high quality research papers that describe original, unpublished work on any topic related to software engineering technology including but not limited to empirical and theoretical work on software engineering, conventional software engineering and also work on emerging topics.
SETA Symposium Schedule
Tuesday July 24, 11:00 – 12:30pm
Session 1: Software
Location: Meeting Hall 1
Session Chair: Mikio Aoyama, Nanzan University, Japan
An Empirical Analysis on Web Service Anti-pattern Detection Using a Machine Learning Framework
Lov Kumar, Ashish Sureka
EFSM-oriented Minimal Traces Set Generation Approach for Web Applications
Weiwei Wang, Junxia Guo, Zheng Li, Ruilian Zhao
DevOps Improvements for Reduced Cycle Times with Integrated Test Optimizations for Continuous Integration
Dusica Marijan, Marius Liaaen, Sagar Sen
Tuesday July 24, 11:00 – 12:30pm
Session 2: Functionality
Location: Meeting Hall 2
Session Chair: Jing Xu, Nankai University, China
A Multi-layered Desires Based Framework to Detect Users’ Evolving Non-functional Requirements
Peng Sun, Jingwei Yang, Hua Ming, Carl Chang
A Framework for Updating Functionalities Based on the MAPE Loop Mechanism
Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
Using Code Evolution Information to Improve the Quality of Labels in Code Smell Data Sets
Yijun Wang, SongyuanHu, Linfeng Yin, Xiaocong Zhou
Tuesday July 24, 1:30 – 3:00pm
Session 3: Software
Location: Meeting Hall 1
Session Chair: Y.T. Yu, City University of Hong Kong, Hong Kong
Combining Constraint Solving with Different MOEAs for Configuring Large Software Product Lines: A Case Study
Kai Shi, Huiqun Yu, Jianmei Guo, Guisheng Fan, Xingguang Yang, Liqiong Chen
Cross-Project Change-Proneness Prediction
Chao Liu, Dan Yang, Xin Xia, Meng Yan, Xiaohong Zhang
Visualizing a Tangled Change for Supporting Its Decomposition and Commit Construction
Sarocha Sothornprapakorn, Shinpei Hayashi, Motoshi Saeki
Tuesday July 24, 1:30 – 3:00pm
Session 4: Mobile
Location: Meeting Hall 2
Session Chair: W.K. Chan, City University of Hong Kong, Hong Kong
An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning
Hao Sun, Xiaoxing Ma, Tiansi Dong, Armin B. Cremers, Chun Cao
Exploration Scheduling in Event Replay for GUI Testing on Android Apps
Chia-Hui Lin, Cheng-Zen Yang, Tzu-Heng Lin, Zhi-Jun You
DroidCC: A Scalable Clone Detection Approach for Android Applications to Detect Similarity at Source Code Level
Junaid Akram, Zhendong Shi, Majid Mumtaz, Ping Luo
Tuesday July 24, 3:30 – 5:00pm
Session 5: Concurrency
Location: Meeting Hall 1
Session Chair: Rui Wang, Capital Normal University, China
DistGear: A Lightweight Event-driven Framework for Developing Distributed Applications
Junming Ma, Bo An, Donggang Cao, Xiangqun Chen
A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis
Chang-ai Sun, Jingting Jia, Huai Liu, Xiangyu Zhang
GBRAD: A General Framework to Evaluate Design Strategies for Hybrid Race Detection
Jialin Yang, W.K. Chan, Y.T. Yu, Jacky Keung
Tuesday July 24, 3:30 – 5:00pm
Session 6: Cloud
Location: Meeting Hall 2
Session Chair: Ian Bayley, Oxford Brookes University, UK
SPESC: A Specification Language for Smart Contracts
Xiao He, Bohan Qin, Yan Zhu, Xing Chen, Yi Liu
An Insight Into the Impact of Dockerfile Evolutionary Trajectories on Quality and Latency
Yang Zhang, Gang Yin, Tao Wang, Yue Yu, Huaimin Wang
Improving Cluster Resource Efficiency with Oversubscription
Jie Chen, Chun Cao, Ying Zhang, Xiaoxing Ma, Haiwei Zhou, Chengwei Yang
Wednesday July 25, 11:00 – 12:30pm
Session 7: Code Comments
Location: Meeting Hall 1
Session Chair: Chang-Ai Sun, University of Science & Technology Beijing, China
Automatic Detection of Outdated Comments During Code Changes
Zhiyong Liu, Huanchao Chen, Xiangping Chen, Xiaonan Luo, Fan Zhou
Automatically Detecting the Scopes of Source Code Comments
Huanchao Chen, Zhiyong Liu, Xiangping Chen, Fan Zhou, Xiaonan Luo
Investigating the Significance of the Bellwether Effect to Improve Software Effort Prediction: Further Empirical Study (J1C2 paper)
Solomon Mensah, Jacky Keung, Stephen MacDonell, Michael Bosu, Kwabena Bennin
Wednesday July 25, 11:00 – 12:30pm
Session 8: Repair
Location: Meeting Hall 2
Session Chair: Eun-Sun Cho, Chungnam National University, Korea
Search-based Efficient Automated Program Repair Using Mutation and Fault Localization
Shuyao Sun, Junxia Guo, Ruilian Zhao, Zheng Li
Identifying Supplementary Bug-fix Commits
Tao Ji, Jinkun Pan, Liqian Chen, Xiaoguang Mao
Thursday July 26, 11:00 – 12:30pm
Session 9: Verification
Location: Meeting Hall 1
Session Chair: Dave Towey, University of Nottingham Ningbo China
A Generalized Approach to Verification Condition Generation
Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima, Jorge Sousa Pinto
Runtime Verification of Robots Collision Avoidance Case Study
Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi
Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude
Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang
Thursday July 26, 11:00 – 12:30pm
Session 10: Bugs
Location: Meeting Hall 2
Session Chair: Cheng-Zen Yang, Yuan Ze University, Taiwan
Predicting the Brakability of Blocking Bug Pairs
Hui Ding, Lin Chen, Wanwangying Ma, Lin Chen, Yuming Zhou, Baowen Xu
Precise Extraction of Malicious Behaviors
Khanh Huu The DAM, Tayssir Touili
Thursday July 26, 11:00 – 12:30pm
Session 11: Prioritization
Location: Meeting Hall 3
Session Chair: Yan Cai, Chinese Academy of Sciences, China
ReTestDroid: Towards Safer Regression Test Selection for Android Applications
Bo Jiang, Yu Wu, Yongfei Zhang, Zhenyu Zhang, W.K. Chan
How Do Software Metrics Affect Test Case Prioritization?
Masataka Ozawa, Tadashi Dohi, Hiroyuki Okamura
Test Case Prioritization Based on Method Call Sequences
Jianlei Chi, Yu Qu, Qinghua Zheng, Zijiang Yang, Wuxia Jin, Di Cui, Ting Liu
Thursday July 26, 1:30 – 3:00pm
Session 12: Modeling
Location: Meeting Hall 1
Session Chair: Huiqun Yu, East China University of Science & Technology, China
Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure
Yajun Wu, Satoshi Yamane
Model Checking Coordination of CPS Using Timed Automata
Kaiqiang Jiang, Chunlin Guan, Jiahui Wang, Dehui Du
Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL
Ping Huang, Kaiqiang Jiang, Chunlin Guan, Dehui Du
Modeling and Verifying MooseFS in CSP
Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie
Thursday July 26, 1:30 – 3:00pm
Session 13: Software Analysis
Location: Meeting Hall 2
Session Chair: Xiaodong Liu, Edinburgh Napier University, UK
PERDICE: Towards Discovering Software Inefficiencies Leading to Cache Misses and Branch Mispredictions
Ting Chen, Wanyu Huang, Muhui Jiang, Xiapu Luo, Lei Xue, Ying Wang, Xiaosong Zhang
Structural Function Based Code Clone Detection Using a New Hybrid Technique
He Jiang, Yanming Yang, Xin Chen, Zhilei Ren
A Structural Analysis Method of OSS Development Community Evolution Based on a Semantic Graph Model
Seiya Kato, Yota Inagaki, Mikio Aoyama
Thursday July 26, 1:30 – 3:00pm
Session 14: Program Analysis
Location: Meeting Hall 3
Session Chair: Jun Ma, Nanjing University, China
Effective Discrete Memetic Algorithms for Covering Array Generation
Xu Guo, Xiaoyu Song, Jiantao Zhou
Loop Invariant Generation for Non-Monotone Loop Structures
Chunyan Hou, Jingsong Wang, Chen Chen, Kai Shi
On the Selection of Strength for Fixed-strength Interaction Coverage Based Prioritization
Rubing Huang, Weiwen Zong, Tsong Yueh Chen, Dave Towey, Jinfu Chen, Yunan Zhou, Weifeng Sun
Paper submission for COMPSAC symposia are now closed.
Deadlines and due dates are available on the Important Dates page.
Paper templates and additional information for authors is available on the Information for Authors page.
SETA Symposium Co-chairs
Hong Zhu, Oxford Brookes University, UK
Email: hzhu@brookes.ac.uk
W.K. Chan, City University of Hong Kong, Hong Kong
Email: wkchan@gapps.cityu.edu.hk
Program Co-chairs
Ian Bayley, Oxford Brookes University, UK
Yan Cai, Institute of Software, Chinese Academy of Sciences, China
Patricia Machado, Federal University of Campina Grande, Brazil
SETA Program Committee
Rui Abreu, Instituto Superior Tecnico, University of Lisbon
Domenico Amalfitano, University of Naples Federico II, Italy
Wilkerson Andrade, Federal University of Campina Grande, Brazil
Doo-Hwan Bae, KAIST, South Korea
Mehdi Bagherzadeh, Oakland University, USA
Xiaoying Bai, Tsinghua University, China
Fevzi Belli, University of Paderborn
Antonia Bertolino, Consiglio Nazionale delle Ricerche, Italy
Alexander Bolotov, University of Westminster, UK
Chun Cao, Nanjing University, China
Bihuan Chen, Fudan University, China
Xiangping Chen, Sun Yat-sen University, China
Xing Chen, Fuzhou University, China
Mohammad-Ali Darvish-Darab, Jacksonville University, USA
Arilo Claudio Dias-Neto, Federal University of Amazonas, Brazil
Wensheng Dou, Institute of Software, Chinese Academy of Sciences, China
Dimitris Dranidis, CITY College, Greece
Eda Marchetti, Istituto di Scienza e Tecnologie della Informazione, Consiglio Nazionale delle Ricerche (ISTI-CNR), Italy
Chunrong Fang, Nanjing University, China
Kakarontzas George, Technological Educational Institute of Thessaly, Greece
Mark Green, Oxford Brookes University, UK
Apala Guha, Simon Fraser University Canada
Rachel Harrison, Oxford Brookes University, UK
Xiao He, University of Science and Technology Beijing, China
Xudong He, Florida International University, USA
Hata Hideaki, Nara Institute of Science and Technology, Japan
Hongji Yang, Bath Spa University
Bo Jiang, Beihang University, China
He Jiang, Beijing Institute of Technology/Dalian University of Technology, China
Yu Jiang, Tsinghua University, China
Everton Alves, Federal University of Campina Grande, Brazil
Xuansong Li, Nanjing University of Science and Technology, China
David Lightfoot, Oxford Brookes University, UK
Yun Lin, National University of Singapore, Singapore
Hui Liu, Beijing Institute of Technology, China
Jigang Liu, Metropolitan State University, USA
Shaoying Liu, Hosei Univeristy, Japan
Ting Liu, Xi’an Jiaotong University, China
Tongping Liu, The University of Texas at San Antonio, USA
Xiaodong Liu, Edinburgh Napier University
Yepang Liu, The Hong Kong University of Science and Technology
Francesca Lonetti, ISTI-CNR, Italy
Lunjin Lu, Oakland University, USA
Daniel Xiapu Luo, The Hong Kong Polytechnic University, Hong Kong
Jun Ma, Nanjing University, China
Clare Martin, Oxford Brookes University, UK
Katsuhisa Maruyama, Ritsumeikan University, Japan
Hua Ming, Oakland University, USA
Osamu Mizuno, Kyoto Institute of Technology, Japan
Myoungkyu Song, University of Nebraska Omaha, USA
Hiroyuki Okamura, Hiroshima University, Japan
Max Yu Pei, The Hong Kong Polytechnic University, Hong Kong
Andrea Polini, University of Camerino, Italy
Rahul Purandare, Indraprastha Institute of Information Technology Delhi, India
Daniel Rodriguez, University of Alcala
Peter Ruppel, Technical University of Berlin
Gwen Salaün, University of Grenoble Alpes, France
Toshifusa Sekizawa, Nihon University, Japan
Sérgio Soares, Federal University of Pernambuco (CIn/UFPE), Brazil
Hui Song, SINTEF Digital, Norway
Yasuhiro Sugiyama, Nihon University, Japan
Changai Sun, University of Science & Technology Beijing, China
Jun Sun, Singapore University of Technology and Design, Singapore
Xiaobing Sun, Yangzhou University, China
Michiharu Takemoto, NTT Corporation, Japan
Cong Tian, Xidian University, China
Dave Towey, University of Nottingham Ningbo China
T.H. Tse, The University of Hong Kong, Hong Kong
Naoyasu Ubayashi, Kyushu University, Japan
Christina Chavez, Federal University of Bahia, Brazil
Chao Wang, University of Southern California, USA
Junjie Wang, Institute of Software, Chinese Academy of Sciences, China
Zan Wang, Tianjin University, China
Franz Wotawa, TU Graz, Institute for Software Technology, Austria
Xin Xia, Monash University, Australia
Xiaoyuan Xie, Wuhan University, China
Jing Xu, Nankai University, Tianjin, China
Lei Xu, Nanjing University, China
Jiefng Xuan, Wuhan University, China
Zijiang Yang, Western Michigan University, USA
Chunyang Ye, Hainan University, China
Tingting Yu, University of Kentucky, USA
Lingming Zhang, UT Dallas, USA
Jing Zhao, School of Software , DaLian University of Technology, China
Hao Zhong, Shanghai Jiao Tong University, China
Yu Zhou, Nanjing University of Aeronautics and Astronautics, China
Zhiquan Zhou, University of Wollongong, Australia
Yan Cai, Institute of Software, Chinese Academy of Sciences, China
Ian Bayley, Oxford Brookes University, UK
Patricia Machado, Federal University of Campina Grande, Brazil
Yuen Tak Yu, City University of Hong Kong, Hong Kong
José Miguel Rojas, University of Leicester, Leicester, United Kingdom