SEKE2021 Technical Sessions
July 1 to 10, One session 8am-11:45am New York EST Time, 2pm-5:45pm Rome Time or 8pm-11:45pm Beijing Time (or two sessions 8am-9am New York EST Time and 9:15am to 11:45am New York EST Time)
July 1 9:15am-11:45am New York EST Time Session SAMS: Software Architecture Models and Systems (Chair: Dr. Mersedeh Sadeghi, University of Cologne, Germany)
Refactoring Java Code to MapReduce Framework (S) Junfeng Zhao and Rui Feng (page 1)
ArchiNet: A Concept-token based Approach for Determining Architectural Change Categories Amit Kumar Mondal, Banani Roy, Sristy Sumana Nath and Kevin Schneider (page 7)
Analyzing Open-Source Serverless Platforms: Characteristics and Performance (S) Junfeng Li, Sameer Kulkarni, Ramakrishnan and Dan Li (page 15)
I-CMOMMT: A multiagent approach for patrolling and observation of mobile targets with a continuous environment representation (S) Jamy Chahal, Assia Belbachir and Amal El Fallah Seghrouchni (page 21)
NVMSorting: Efficient Sorting on Non-Volatile Memory Zhaole Chu, Yongping Luo, Peiquan Jin and Shouhong Wan (page 25)
HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers Zhiming Hu, Zheng Wang, Hongjian Jiang, Yuyuan Zhang and Yongxin Zhao (page 31)
Patterns for Reuse in Production Systems Engineering Kristof Meixner, Arndt Lüder, Jan Herzog, Dietmar Winkler and Stefan Biffl (page 37)
Software Design Pattern Analysis for Micro-Service Architecture using Queuing Networks (S) Shikuo Chang, Hanzhong Zheng and Justin Kramer (page 45)
Correctness Arguments for an SDN MAC Learning Algorithm (S) Liang Hao, Xin Sun and Lan Lin (page 51)
Multiclass Classification of Four Types of UML Diagrams from Images Using Deep Learning Sergei Shcherban, Peng Liang, Zengyang Li and Chen Yang (page 57)
July 2 8am-9am New York EST Time Plenary Talk: "Quantum Software Models: Instantiating Abstractions" by Dr. Iaakov Exman, Jerusalem College of Engineering, Israel (Chair: Dr. Raúl Garcia Castro, Polytechical University of Madrid, Spain)
July 2 9:15am-11:45am New York EST Time Session ESR: Ethic Security and Reliability (Chair: Dr. Bharavi Mishra, The LNM Institute of Information Technology, India)
On Integrating Ethicality in User Stories (S) Pankaj Kamthan and Nazlie Shahmir (page 63)
A Collaborative Forensic Framework for Detecting Advanced Persistent Threats Weifeng Xu, Jie Yan and Daryl Stone (page 67)
An Empirical Study on the Impact of Class Overlapin Just-in-Time Software Defect Prediction (S) Minyang Yi, Guisheng Fan, Huiqun Yu and Xingguang Yang (page 75)
FSSRE: Fusing Semantic Feature and Syntactic Dependencies Feature for threat intelligence Relation Extraction Xuren Wang, Mengbo Xiong, Famei He, Peian Yang, Binghua Song, Jun Jiang, Zhengwei Jiang and Zihan Xiong (page 79)
AAMR: Automated Anomalous Microservice Ranking in Cloud-Native Environment Zekun Zhang, Bing Li, Jian Wang and Yongqiang Liu (page 86)
Unsupervised Anomaly Detection Based on System Logs Hao Chen, Ruizhi Xiao and Shuyuan Jin (page 92)
From Vulnerability Anti-Patterns to Secure Design Patterns (S) Alok Ratnaparkhi, Onyeka Ezenwoye and Yi Liu (page 98)
July 3 8am-11:45am New York EST Time Session FV: Formal Verification (Chair: Dr. Elena Gomez-Martinez, Autonomous University of Madrid, Spain)
Formal Modeling and Verification of ICN-IoT Middleware Architecture (S) Hongqin Zhang, Jiaqi Yin, Huibiao Zhu and Ningning Chen (page 102)
AnB2Murphi: A Translator for Converting Alice&Bob Specifications to Murphi Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan and Yongjian Li (page 108)
Formal verification of multitask hybrid systems by the OTS/CafeOBJ method Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura and Kazuhiro Ogata (page 114)
Formal verification of IFF & NSLPK authentication protocols with CiMPG (S) Thet Wai Mon, Shuho Fujii, Duong Dinh Tran and Kazuhiro Ogata (page 120)
Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable (S) Naoki Asae, Duong Dinh Tran and Kazuhiro Ogata (page 126)
Using LSTM to Predict Tactics in Coq Xiaokun Luan, Xiyue Zhang and Meng Sun (page 132)
Formal specification and model checking of a recoverable wait-free version of MCS Duong Dinh Tran, Kentaro Waki and Kazuhiro Ogata (page 138)
Fine-Grained Neural Network Abstraction for Efficient Formal Verification Zhaosen Wen, Min Zhang and Weikai Miao (page 144)
Modeling and Verification of CKB Consensus Protocol in UPPAAL (S) Yi-Chun Feng, Yuteng Lu and Meng Sun (page 150)
Formalization and Verification of Dubbo Using CSP Zhiru Hou, Jiaqi Yin and Huibiao Zhu (page 154)
Conv-Reluplex : A Verification Framework For Convolution Neural Networks (S) Jin Xu, Zishan Li, Miaomiao Zhang and Bowen Du (page 160)
Tree Ensemble Property Verification from A Testing Perspective Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi and Yanhong Huang (page 166)
DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S) Yuteng Lu, Weidi Sun, Guangdong Bai and Meng Sun (page 172)
Evaluating the Impact of Vaccination on COVID-19 Using Model Checking Xin Li (page 177)
A Novel Approach of CTL Model Checking Based on Probe Machine Dong Wang, Jing Liu, Jin Xu, Haiying Sun and Jiexiang Kang (page 183)
July 4 8am-11:45am New York EST Time Session SEPDSM: Software Education Project and Development and Software Maintenance (Chair: Dr. Mukesh Kumar Rohil, Birla Institute of Technology and Science, India)
How MOOC Videos Affect Dropout? A Lightweight Pipeline Making Student Dropout Interpretable From Several Levels Deming Sheng, Jingling Yuan and Xin Zhang (page 189)
Development of an Automated Machine Learning Solution for Educational Data Mining (S) Raniel Silva, Vitória Mendes, Rodrigo Rodrigues and Alexandre Maciel (page 195)
Towards the integration of the GDPR in the Unified Software Development Process (S) Elena Gómez-Martínez, Miguel Marroyo and Silvia Acuña (page 199)
Remaining Activity Sequence Prediction for ongoing process instances Xiaoxiao Sun, Yuke Ying, Siqing Yang and Hujun Shen (page 205)
Studying the Impact of the User Subscription Times in Different Cloud Configurations Hernán-Indibil De la Cruz, María-Emilia Cambronero, Valentín Valero, Pablo Cañizares, Adrián Bernal and Alberto Núñez (page 211)
An Analysis of the State of the Art of Machine Learning for Risk Assessment in Software Projects (S) André Sousa, João Faria and João Moreira (page 217)
Towards a Comprehensive Understanding of Agile Teamwork: A literature-based Thematic Network Arthur Freire, Manuel Neto, Mirko Perkusich, Alexandre Costa, Kyller Gorgônio, Hyggo Almeida and Angelo Perkusich (page 223)
A Comparative Study of Psychometric Instrumentsin Software Engineering Gleyser Guimarães, Mirko Perkusich, Danyllo Albuquerque, Everton Guimaraes, Danilo Santos, Hyggo Almeida and Angelo Perkusich (page 229)
Evaluating a Bayesian Network to Predict Customer Satisfaction in Scrum Software Development Projects: An Empirical Study with One Company Mirko Perkusich, Gleyser Guimarães, Kyller Costa Gorgônio, Hyggo Almeida and Angelo Perkusich (page 235)
Towards Automatically Generating Release Notes using Extractive Summarization Technique Sristy Sumana Nath and Banani Roy (page 241)
Understanding the Impact of COVID-19 on Github Developers: A Preliminary Study Liu Wang, Ruiqing Li, Jiaxin Zhu, Guangdong Bai, Weihang Su and Haoyu Wang (page 249)
Analyzing Program Comprehensibility of Go Projects Moumita Asad, Rafed Muhammad Yasir, Shihab Shahriar Khan, Nadia Nahar and Md Nurul Ahad Tawhid (page 255)
What Do Developers Reply To? An Empirical Study of the Top Unmanned Aerial Vehicles (UAVs) Apps (S) Fatma Outay, David Dampier and Haroon Malik (page 261)
Quantifying Synergy between Software Projects using README Files Only (S) Roxanne El Baff, Sivasurya Santhanam and Tobias Hecking (page 265)
Evaluating a Tool for Creating Bug Report Assignment Recommenders (S) Disha Devaiya, John Anvik, Meher Bheree and Farjana Yeasmin Omee (page 271)
July 5 8am-9am New York EST Time Keynote: "Declarative Debugging: Past, Present and Future" by Dr. Adrian Riesco, Universidad Complutense de Madrid, Spain (Chair: Dr. Kazuhiro Ogata, JAIST, Japan)
July 5 9:15am-11:45am New York EST Time Session RPC: Requirements and Program Comprehension (Chair: Dr. Lawrence Chung, University of Texas at Dallas, USA)
A family of experiments for evaluating the usability of a collaborative modelling chatbot Ranci Ren, John Castro and Silvia Acuña (page 275)
Evaluation of Chatbots Usability Experimentation (S) Ranci Ren, John Castro and Silvia Acuña (page 281)
From word embeddings to text similarities for improved semantic clustering of functional requirements (S) Takwa Kochbati, Shuai Li, Sébastien Gerard and Mraidha Chokri (page 285)
Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre and Guillaume Giraud (page 291)
Risk Analysis for Collaborative Systems during Requirements Engineering (S) Kirthy Kolluri, Robert Ahn, Tom Hill and Lawrence Chung (page 297)
Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S) Aya Zaki Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy and Amani Ibrahim (page 303)
July 6 8am-9am New York EST Time Plenary Talk: "How Can Metaheuristics Help Software Engineers" by Dr. Enrique Alba, University of Malaga, Spain (Chair: Dr. Lan Lin, Ball State University, USA)
July 6 9:15am-11:45am New York EST Time Session RC: Recommendation and Classification (Dr. Swapna S. Gokhale, University of Connecticut, USA)
Spatial-Temporal Forecast of the probability distribution of Oceanic Nino Index for various lead times Jahnavi Jonnalagadda and Mahdi Hashemi (page 309)
Recurrent Neural Graph Collaborative Filtering Beichuan Zhang, Zhijiao Xiao and Shenghua Zhong (page 315)
Deep Self-Attention for Sequential Recommendation (S) Beichuan Zhang, Zhijiao Xiao and Shenghua Zhong (page 321)
A recommender system to assist conceptual modeling with UML Maxime Savary-Leblanc, Xavier Le Pallec and Sebastien Gerard (page 327)
Evaluating Visual Explanation of Bug Report Assignment Recommendations (S) Shayla Bhuyan and John Anvik (page 334)
A Practical User Feedback Classifier for Software Quality Characteristics Rubens dos Santos, Karina Villela, Diego Avila and Lucineia Heloisa Thom (page 340)
Improved Multiple Part Algorithm (IMPA) to extract multiple solutions for RNA sequence classification problem Naoual Guannoni, Faouzi Mhamdi and Mourad Elloumi (page 346)
Attention Guided Filter for Jointly Extracting Entities and Classifying Relations Shaoze Chen, Su Wang and Wenxin Hu (page 352)
Multi-Label Classification of Parrott’s Emotions Abhijit Mondal and Swapna Gokhale (page 359)
July 7 8am-9am New York EST TimeSpecial Session SEKEEO: Software Engineering and Knowledge Engineering Education (Chair: Dr. Pankaj Kamthan, Concordia University, Canada)
On Conducting Tests in Software Engineering Courses during the COVID-19 Pandemic (S) Pankaj Kamthan (page 365)
Revisiting UML Class Relationship Recovery for Online Education (S) Dionysis Athanasopoulos (page 369)
Extracting Prerequisite Relations among Concepts from the Introduction of Online Courses (S) Zesong Wang, Kui Xiao, Zeqing Qin and Shihui Wang (page 375)
*** A Technical Capability Evaluation Model Based Concept and Prerequisite Relation in Computer Education (S) Jiwen Luo, Tao Wang, Junsheng Chang and Xiaoting Guo (page 381)
July 7 9:15am-11:45am New York EST Time Session KO: Knowledge and Ontology (Chair: Mr. Alireza Javadian Sabet, Polytechnic University of Milan, Italy)
Triangle Counting by Adaptively Resampling over Evolving Graph Streams Wei Xuan, Huawei Cao, Mingyu Yan, Zhimin Tang, Xiaochun Ye and Dongrui Fan (page 387)
Influence Maximization with Consideration of PageRank Centrality and Propagation Probability Qi Chen and Rong Yan (page 393)
Grasping or Forgetting? MAKT: A Dynamic Model via Multi-head Self-Attention for Knowledge Tracing Deming Sheng, Jingling Yuan and Xin Zhang (page 399)
Deep Similarity Preserving and Attention-based Hashing for Cross-Modal Retrieval Shubai Chen, Song Wu, Yu Chen and Yuan Yuan (page 405)
An Efficient ROS Package Searching Approach Powered By Knowledge Graph Long Chen, Xinjun Mao, Yinyuan Zhang, Shuo Yang and Shuo Wang (page 411)
KatGCN: Knowledge-Aware Attention based Temporal Graph Convolutional Network for Multi-Event Prediction Xin Song, Haiyang Wang, Kang Zeng, Yujia Liu and Bin Zhou (page 417)
SolDetector: Detect Defects Based on Knowledge Graph of Solidity Smart Contract Tianyuan Hu, Zhenyu Pan and Bixin Li (page 423)
SMART: Towards Automated Mapping between Data Specifications Safia Kalwar, Mersedeh Sadeghi, Alireza Javadian Sabet, Alexander Nemirovskiy and Matteo Giovanni Rossi (page 429)
Incorporating Presuppositions of Competency Questions into Test-Driven Development of Ontologies (S) Jedrzej Potoniec, Dawid Wiśniewski and Agnieszka Ławrynowicz (page 437)
July 8 8am-9:15am New York EST Time Special Session DEMO: Technical Demos (Chair: Ms. Nazlie Shahmir, Canadian Pacific Railway, Canada)
AutoCom: Automatic Comment Generation for C Code(D) Zhikang Tian and Yuekang Li (page 632)
Water-Wheel: Real-Time Storage with High Throughput and Scalability for Big Data Streams(D) Yanqi Lv, Ruicheng Liu and Peiquan Jin (page 634)
MT4ImgRec:A Metamorphic Testing Tool for Image Recognition Software(D) Dongyu Cao, Hongjing Guo and Chuanqi Tao (page 636)
Post2Event: Extracting Key Events from Microblogs(D) Chongwei Wang, Xujian Zhao, Peiquan Jin, Hui Zhang, Chunming Yang and Bo Li (page 637)
CASTR: Assisting Bug Report Assignment Recommender Creation(D) Disha Thakarshibhai Devaiya, John Anvik, Farjana Yeasmin Omee and Meher Bheree (page 639)
July 8 9:15am-11:45am New York EST Time Session ML: Machine Learning (Chair: Dr. Banani Roy, University of Saskatchewan, Canada)
Ride Hailing Service Demand Forecast by Integrating Convolutional and Recurrent Neural Networks Zinat Ara and Mahdi Hashemi (page 441)
Transfer Learning-based City Similarity Measurement: A Case Study on Urban Hotel (S) Ganghua Zhang and Xiaoping Che (page 447)
A hierarchical RNN-based model for learning recommendation with session intent detection Jinyang Liu, Chuantao Yin, Xiaoyan Zhang, Kunyang Wang and Hong Zhou (page 451)
Intelligent Preprocessing Selection for Pavement Crack Detection based on Deep Reinforcement Learning Yan Lin, Guosheng Xu, Guoai Xu, Siyi Li, Jie Deng and Jiankun Cao (page 458)
*** Inspect Defect of Power Equipment via Deep Learning Method Qi Zhang, Qingsong Cai and Jianhui Zheng (page 464)
A method for generating various style Chinese fonts in the absence of training data (S) Kang Shi and Tian-Ming Bu (page 470)
Multi-Fusion with Attention Mechanism for 3D Object Detection Ning Wang and Ping Sun (page 475)
SADA: Improved Data Symbolization and Optimization Method on HAR from Microscopic Perspective Men Huichao and Wang Botao (page 481)
HARP Pro: Hierarchical Representation Learning based on global and local features for social networks Wei Zhang, Jing Yang and Fanshu Shang (page 487)
A Volume-Aware Positional Attention-Based Recurrent Neural Network for Stock Index Prediction Xinpeng Yu and Dagang Li (page 493)
July 9 8am-11:45am New York EST Time Session STPTA: Software Testing Program Test and Analysis (Chair: Dr. Qianqian Ren, Heilongjiang University, China)
DeepSCC: Source Code Classification Based on Fine-Tuned RoBERTa (S) Guang Yang, Yanlin Zhou, Chi Yu and Xiang Chen (page 499)
Multi-Granularity Code Smell Detection using Deep Learning Method based on Abstract Syntax Tree Weiwei Xu and Xiaofang Zhang (page 503)
FCEP: A Fast Concolic Execution for Reaching Software Patches Meng Fan, Wenzhi Wang, Aimin Yu and Dan Meng (page 510)
Leveraging Compiler Optimization for Code Clone Detection Shirish Singh, Harshit Singhal and Bharavi Mishra (page 516)
Which Factors Affect Q-Learning-based Automated Android Testing? – A Study Focusing on Algorithm, Learning Target, and Reward Function – Yuki Moriguchi and Shingo Takada (page 522)
MACA: A Residual Network with Multi-Attention and Core Attributes for Code Search (S) Lian Gu, Zihui Wang, Jiaxin Liu, Yating Zhang, Dong Yang and Wei Dong (page 528)
Dynamically Detecting Invariants for Automatic Testing PLC Programs (S) Zeyu Lu, Xia Mao, Yanhong Huang, Jianqi Shi and Yang Yang (page 532)
Optimal Conjunctive Normal Form Encoding for Symbolic Execution Weiyu Pan, Ziqi Shuai, Ke Ma and Luyao Liu (page 538)
Graph queries for analyzing the coverage of requirements by test cases Shingo Ariwaka, Hiroyuki Nakagawa and Tatsuhiro Tsuchiya (page 544)
Using the Normalized Levenshtein Distance to Analyze Relationship between Faults and Local Variables with Confusing Names: A further Investigation (S) Carmine Gravino, Alessandra Orsi and Michele Risi (page 550)
A Framework for Mutation Testing of Machine Learning Systems (S) Raju Singh and Mukesh Kumar Rohil (page 554)
A Case Study of Testing an Image Recognition Application (S) Chuanqi Tao, Dongyu Cao, Hongjing Guo and Jerry Gao (page 560)
July 10 8am-11:45am New York EST Time Session NLTPDM: Natural Language and Text Processing and Data Mining (Chair: Dr. Mahdi Hashemi, George Mason University, USA)
A Novel Text Classification Approach based on Meta-path Similarities and Graph Neural Networks Huan Wang, Jiang Li, Qing Zhou and Liang Ge (page 564)
Model-Agnostic Local Explanations with Genetic Algorithms for Text Classification Qingfeng Du and Jincheng Xu (page 570)
Towards a Better Understanding of Gradient-Based Explanatory Methods in NLP Qingfeng Du and Jincheng Xu (page 576)
Relation Extraction Model Based on Keywords Attention (S) Yu Chen, Jianxia Chen, Chang Liu and Qi Liu (page 582)
Chinese Sentence Semantic Matching With Multi-Granularity Based on Siamese Neural Network Xuan Wen, Jianxia Chen, Yu Chen and Shirui Sheng (page 586)
Complementary Representation of ALBERT for Text Summarization Wenying Guo, Bin Wu, Bai Wang, Lianwei Li, Junwei Sun and Maham Nazir (page 592)
BEHIND: a 4W-oriented Method for Event Detection from Twitter Kang Zeng, Yujia Liu, Xin Song and Bin Zhou (page 598)
ATFE: A Two-dimensional Feature Encoding-based Sentence-level Attention Model for Distant Supervised Relation Extraction Shiyang Li and Qianqian Ren (page 604)
Extracting information from driving data using k-means clustering (S) Nour Chetouane, Lorenz Klampfl and Franz Wotawa (page 610)
RoBF: An Auto-Tuning Bloom Filter for Mixed Queries on LSM-Tree Ruicheng Liu, Peiquan Jin, Shouhong Wan and Bei Hua (page 616)
Using Surrounding Text of Formula towards More Accurate Mathematical Information Retrieval Cheng Chen, Yifan Dai, Yuqi Shen, Jinfang Cai and Liangyu Chen (page 622)
Automatic Comprehension of Geometry Problems using AMR Parser (S) Anca-Elena Iordan (page 628)
Notes: (S) denotes a short paper. (D) denotes demo description. *** denotes a paper not presented.