SETA 2018-07-17T21:36:29+00:00

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