APSEC 2023
Mon 4 - Thu 7 December 2023 Seoul, South Korea

The APSEC 2023 technical research track invites high-quality contributions describing original results in the discipline of software engineering. Solicited topics include, but are not limited to:

  • Tools and processes
    • Agile processes
    • DevOps and Container
    • Configuration Management and Deployment
    • Software Engineering Process and Standards
  • Requirements and Design
    • Service-oriented Computing
    • Component-based Software Engineering
    • Cooperative, Distributed, and Global Software Engineering
    • Software Architecture, Modeling and Design
    • Middleware, Frameworks, and APIs
    • Software Product-line Engineering
  • Testing and Analysis
    • Testing, Verification, and Validation
    • Program Analysis
    • Program Synthesis
    • Program Repairs
  • Formal Aspects of Software Engineering
    • Formal Methods
    • Model-driven and Domain-specific Engineering
  • Human Factors and Social Aspects of Software Engineering
    • Software Comprehension, Visualization, and Traceability
    • Software for Green and Sustainable Technologies
  • AI and Software Engineering
    • Search-based Software Engineering
    • AI for SE, SE for AI
  • Dependability, Safety, and Reliability
  • Software Maintenance and Evolution
    • Refactoring
    • Reverse Engineering
    • Software Reuse
    • Software Project Management
    • Debugging, Defect Prediction and Fault Localization
  • Software Repository Mining and Data Analytics

APSEC2023 welcomes submissions addressing topics in a variety of application domains, including mobile, cloud, blockchains, embedded and cyber-physical systems.

Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 5 Dec

Displayed time zone: Seoul change

10:30 - 11:00
Coffee BreakCatering at Grand Hall Lobby
10:30
30m
Coffee break
Coffee Break
Catering

11:00 - 12:30
Testing and Analysis (1)Technical Track at Grand Hall 1
Chair(s): Shingo Takada Keio University, Japan
11:00
30m
Talk
Unit Test Based Component Integration Testing
Technical Track
Nils Wild RWTH Aachen University, Horst Lichter Research Group Software Construction RWTH Aachen University
11:30
30m
Talk
On the Effectiveness of Synthetic Benchmarks for Evaluating Directed Grey-box Fuzzers
Technical Track
Haeun Lee KAIST, Heedong Yang CSRC, KAIST, Su Geun Jee CSRC, KAIST, Sang Kil Cha KAIST, South Korea
12:00
30m
Talk
Test case level predictive mutation testing combining PIE and natural language features
Technical Track
Rui Xu School of Software,Shandong University, Yuliang Shi School of Software,Shandong University;Dareway Software Co., Ltd., Zhiyuan Su Jinan Inspur Data Technology Co., Ltd., Xinjun Wang School of Software,Shandong University;Dareway Software Co., Ltd., Zhongmin Yan School of Software,Shandong University, Fanyu Kong School of Software,Shandong University
11:00 - 12:30
Requirements and Architecture (1)Technical Track at Grand Hall 2
Chair(s): Horst Lichter Research Group Software Construction RWTH Aachen University
11:00
30m
Talk
Taxonomy of Architecture Maintainability Smells
Technical Track
Paula Rachow Universität Hamburg, Marion Wiese Universität Hamburg, MIN Fakultät, FB Informatik, André van Hoorn University of Hamburg, Germany
11:30
30m
Talk
Analytical Modeling and Empirical Validation of Performability of Service- and Cloud-Based Dynamic Routing Architecture Patterns
Technical Track
Amirali Amiri University of Vienna, Uwe Zdun University of Vienna, André van Hoorn University of Hamburg, Germany
12:00
30m
Talk
Light-Weight MBSE Approach for Construction Equipment Domain - An Experience Report
Technical Track
Johan Cederbladh Mälardalen university, Jagadish Suryadevara Volvo Construction Equipment
11:00 - 12:30
Maintenance and Repository Mining (1)Technical Track at Grand Hall 3
Chair(s): Jindae Kim Seoul National University of Science and Technology
11:00
30m
Talk
On the Reliability of Coverage Data for Fault Localization
Technical Track
Huan Xie School of Big Data & Software Engineering, Chongqing University, Maojin Li School of Big Data & Software Engineering, Chongqing University, Yan Lei Chongqing University, Jian Hu School of Big Data & Software Engineering, Chongqing University, Shanshan Li National University of Defense Technology, Xiaoguang Mao National University of Defense Technology, Yue Yu National University of Defense Technology
11:30
30m
Talk
Do App Developers Follow the Android Official Data Security Guidelines? An Empirical Measurement on App Data Security
Technical Track
Shishuai Yang Shandong University, Qinsheng Hou Shandong University; Qi An Xin Group Corp., Shuang Li Shandong University, Wenrui Diao Shandong University
12:00
30m
Talk
FSFP:A Fine-Grained Online Service System Performance Failure Prediction Method Based on Cross-Attention.
Technical Track
Nanfei Yang ShanDong University, Yuliang Shi School of Software,Shandong University;Dareway Software Co., Ltd., Zhiyuan Su Jinan Inspur Data Technology Co., Ltd., Xinjun Wang School of Software,Shandong University;Dareway Software Co., Ltd., Zhongmin Yan School of Software,Shandong University, Fanyu Kong School of Software,Shandong University
11:00 - 12:20
AI and Software Engineering (1)Technical Track / ERA - Early Research Achievements at Grand Hall 4
Chair(s): Deron Liang National Central University
11:00
30m
Talk
Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts
Technical Track
Meng Wang Hebei university, Weiliang Fei Hebei University, Miao Wang Hebei University, Jin Cui Xi'an Shiyou University
11:30
30m
Talk
Effective Anomaly Detection for Microservice Systems with Real-Time Feature Selection
Technical Track
Siqi Zhou Southern University of Science and Technology, Xian Zhan Southern University of Science and Technology, Linlin Li Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology
12:00
20m
Talk
Automated Detection of Dark Patterns Using In-Context Learning Capabilities of GPT-3
ERA - Early Research Achievements
Yasin Sazid University of Dhaka, Fuad Mridha University of Dhaka, Kazi Sakib Institute of Information Technology, University of Dhaka
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Requirements and Architecture (2)Technical Track at Grand Hall 2
Chair(s): Ian Gorton Northeastern University – Seattle, USA
14:00
30m
Talk
Architectural Design Decisions for Data Communication of Cyber-Physical Systems
Technical Track
Amirali Amiri University of Vienna, Evangelos Ntentos University of Vienna, Uwe Zdun University of Vienna
14:30
30m
Talk
Towards Requirements Engineering Activities for Machine Learning-enabled FinTech Applications
Technical Track
Yishu Li City University of Hong Kong, Jacky Keung City University of Hong Kong, Kwabena Ebo Bennin Wageningen University and Research, Xiaoxue Ma , Yangyang Huang City University of Hong Kong, Jingyu Zhang City University of Hong Kong
15:00
30m
Talk
On the Impact of Development Frameworks on Mobile Apps
Technical Track
Parsa Karami École de technologie supérieure, Ikram Darif École de technologie supérieure (ÉTS), Cristiano Politowski École de technologie supérieure, Ghizlane El Boussaidi École de Technologie Supérieure, Segla Kpodjedo Ecole de Technologie Superieure, Imen Benzarti École de technologie supérieure
14:00 - 15:30
Maintenance and Repository Mining (2)Technical Track at Grand Hall 3
Chair(s): Jung-Won Lee Ajou University
14:00
30m
Talk
An Empirical Study on the Stability of Explainable Software Defect PredictionDistinguished Award
Technical Track
Jiho Shin York University, Reem Aleithan York University, Canada, Jaechang Nam Handong Global University, Junjie Wang Institute of Software, Chinese Academy of Sciences, Nima Shiri Harzevili York University, Song Wang York University
14:30
30m
Talk
Refactoring Programs Using Large Language Models with Few-Shot Examples
Technical Track
Atsushi Shirafuji University of Aizu, Yusuke Oda Tohoku University, Jun Suzuki Tohoku University, Makoto Morishita NTT Communication Science Laboratories, Yutaka Watanobe University of Aizu
15:00
30m
Talk
Improving Code Refinement for Code Review Via Input Reconstruction and Ensemble LearningDistinguished Award
Technical Track
jiawei lu Zhejiang University, Zhijie Tang Zhejiang University, Zhongxin Liu Zhejiang University
14:00 - 15:30
14:00
30m
Talk
QoS-Aware Graph Contrastive Learning for Web Service Recommendation
Technical Track
Jeongwhan Choi Yonsei University, Duksan Ryu Jeonbuk National University
14:30
20m
Talk
A Decision Tree of Bioengineering Study and Career Path for Educational Guidance
EDU - Software Engineering Education
Wantana Areeprayolkij Chiang Mai University, Mengzhen Li Chiang Mai University
14:50
20m
Talk
A Machine Learning Based Approach to Detect Machine Learning Design Patterns
ERA - Early Research Achievements
Weitao Pan Waseda University, Hironori Washizaki Waseda University, Nobukazu Yoshioka Waseda University, Japan, Yoshiaki Fukazawa Waseda University, Foutse Khomh Polytechnique Montréal, Yann-Gaël Guéhéneuc Concordia University and Polytechnique Montréal
15:10
20m
Talk
Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System
SEIP - Software Engineering in Practice
Thomas Laurent JSPS@National Institute of Informatics, Japan, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics, Hirokazu Kawamoto Panasonic Holdings Corporation, Kaoru Sawai Panasonic System Networks R&D Lab. Co., Ltd., Eiichi Muramoto Panasonic Holdings Corporation
14:00 - 17:30
14:00
3h30m
Poster
An Empirical Study on Regression Techniques for Software Defect Number Prediction (Poster)
Technical Track
Shihan Wang Beijing Jiaotong University, Yuxin He Beijing Jiaotong University, Rongrong Shi Beijing Jiaotong University, Chiyuan Jing Beijing Jiaotong University, Ying Liu Beijing Jiaotong University, Haonan Tong Beijing Jiaotong University
14:00
3h30m
Poster
Detecting Bot on GitHub Leveraging Transformer-based Models: A Preliminary Study (Poster)
Technical Track
Jin Zhang Hunan Normal University, Xingjin Wu Hunan Normal University, Yang Zhang National University of Defense Technology, China, Shunyu Xu Hunan Normal University
14:00
3h30m
Poster
Detecting Common Weakness Enumeration through training the Core Building Blocks of Similar Languages based on the CodeBERT Model (Poster)
Technical Track
CHANSOL PARK 홍익대학교, R. Young Chul Kim Hongik University
14:00
3h30m
Poster
Enhancing Logic Error Detection Through Program Pseudocodes (Poster)
Technical Track
Zhenyu Xu Texas Tech University, Victor S. Sheng Texas Tech University
14:00
3h30m
Poster
Exploring Collaboration Patterns in GitHub using Discrete Time Markov Chain (Poster)
Technical Track
Suhee Jo Kyonggi University, Ryeonggu Kwon Kyonggi University, Gihwon Kwon Kyonggi University
14:00
3h30m
Poster
Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door (Poster)
Technical Track
Jiyoung Chang , Ryeonggu Kwon Kyonggi University, Gihwon Kwon Kyonggi University
14:00
3h30m
Poster
Funding sources in Software Engineering top venues: a bibliometric study (Poster)
Technical Track
Georgia Kapitsaki University of Cyprus, Maria Papoutsoglou Aristotle University of Thessaloniki
14:00
3h30m
Poster
Assessing Opaque Predicates: Unveiling the Efficacy of Popular Obfuscators with a Rapid Deobfuscator (Poster)
SEIP - Software Engineering in Practice
Hyungchang Jeon Chungnam National Univ., Seoksu Lee Chungnam National Univ., Eun-Sun Cho Chungnam National University, Korea
14:00
3h30m
Poster
Can ChatGPT Correct Code Based on Logical Steps? (Short Paper)
ERA - Early Research Achievements
Nao Souma Japan Women's University, Ito Waka Japan Women's University, Momoka Obara Japan Women's University, Takako Kawaguchi NTT Software Innovation Center, Yuka Akinobu NTT Software Innovation Center, Toshiyuki Kurabayashi NTT Software Innovation Center, Haruto Tanno NTT, Kimio Kuramitsu Japan Women's University
14:00
3h30m
Poster
Consistency of Code: A prompt based approach to comprehend functionality (Short Paper)
ERA - Early Research Achievements
Hoyoung Choi Hanyang University, Hyunjae Park Ajou University, Young-June Choi Ajou University, Kyungsik Han Hanyang University
14:00
3h30m
Poster
Symbolic Execution of MPI Programs with One-Sided Communications (Short Paper)
ERA - Early Research Achievements
hunenghui , Zheng Bian National University of Defense Technology, Ziqi Shuai National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Yufeng Zhang Hunan University
14:00
3h30m
Poster
Test Case Generation for Cross-Blockchain Smart Contract (Short Paper)
ERA - Early Research Achievements
JiaHao Gong , Shunhui Ji Hohai University, Pengcheng Zhang Hohai University
14:00
3h30m
Poster
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution (Short Paper)
ERA - Early Research Achievements
Ziqi Shuai National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Yufeng Zhang Hunan University, Hengbiao Yu , Ji Wang
14:00
3h30m
Poster
Visualizing Program Behavior with a Ball and Pipes for Computer Science Unplugged (Short Paper)
ERA - Early Research Achievements
Sumika Jinnouchi Kindai University, Masateru Tsunoda Kindai University
15:30 - 16:00
Coffee BreakCatering at Grand Hall Lobby
15:30
30m
Coffee break
Coffee Break
Catering

16:00 - 17:20
16:00
20m
Talk
Unit Testing Challenges with Automated Marking
EDU - Software Engineering Education
Kla Tantithamthavorn Monash University, Norman Chen Monash University
16:20
20m
Talk
On mutation testing of graph database queries in the Cypher language
ERA - Early Research Achievements
16:40
20m
Talk
A Pilot Study of Testing Infrastructure as Code for Cloud Systems
ERA - Early Research Achievements
Nabhan Suwanachote Kasetsart University, Soratouch Pornmaneerattanatri Nara Institute of Science and Technology, Yutaro Kashiwa Nara Institute of Science and Technology, Kohei Ichikawa Nara Institute of Science and Technology, Pattara Leelaprute , Arnon Rungsawang Kasetsart University, Bundit Manaskasemsak Kasetsart University, Hajimu Iida Nara Institute of Science and Technology
17:00
20m
Talk
Automating Test Generation of Industrial Control Software through a PLC-to-Python Translation Framework and Pynguin
SEIP - Software Engineering in Practice
Mikael Ebrahimi Salari Mälardalen University, Eduard Paul Enoiu Mälardalen University, Cristina Seceleanu Mälardalen University, Wasif Afzal Mälardalen University, Filip Sebek ABB AB
16:00 - 17:30
Requirements and Architecture (3)Technical Track at Grand Hall 2
Chair(s): Seonah Lee Gyeongsang National University
16:00
30m
Talk
LogFold: Enhancing Log Anomaly Detection through Sequence Folding and Reconstruction
Technical Track
Xiaonan Shi Tongji University, Rui Li Northeastern University, Qingfeng Du Tongji University, Cheng He Di-Matrix(Shanghai) Information Technology Co., Ltd, Fulong Tian Di-Matrix(Shanghai) Information Technology Co., Ltd
16:30
30m
Talk
Sentiment Analysis for Requirements Elicitation from App Reviews: A Systematic Mapping Study
Technical Track
Hongyan Wan Wuhan Textile University, Zhiquan An Wuhan Textile University, Bangchao Wang Wuhan Textile University, Ten Xiong Wuhan Textile University
17:00
30m
Talk
Natural Language Processing-based Requirements Modeling : A Case Study on Problem Frames
Technical Track
jiahaowei Guangxi Normal University, Zhi Li Guangxi Normal University, Xuan Chen Guangxi Normal University
16:00 - 17:40
Maintenance and Repository Mining (3)ERA - Early Research Achievements / SEIP - Software Engineering in Practice / Technical Track at Grand Hall 3
Chair(s): Duksan Ryu Jeonbuk National University
16:00
30m
Talk
SAB: Stacking Action Blocks for Efficiently Generating Diverse Multimodal Critical Driving Scenario
Technical Track
Shuting Kang Institute of Software Chinese Academy of Sciences;University of Chinese Academy of Sciences, Heng Guo Institute of Software Chinese Academy of Sciences;University of Chinese Academy of Sciences, Zitong Bo Institute of Software Chinese Academy of Sciences;University of Chinese Academy of Sciences, Lijun Zhang Institute of Software, Chinese Academy of Sciences, Qian Dong Institute of Software Chinese Academy of Sciences, Yunzhi Xue Institute of Software Chinese Academy of Sciences, Yanjun Wu Institute of Software, Chinese Academy of Sciences
16:30
20m
Talk
Investigating Technology Usage Span by Analyzing Users' Q&A Traces in Stack Overflow
ERA - Early Research Achievements
Saikat Mondal University of Saskatchewan, Debajyoti Mondal University of Saskatchewan, Chanchal K. Roy University of Saskatchewan
16:50
20m
Talk
Cost-Benefit Analysis for Modernizing a Large-Scale Industrial SystemDistinguished Award
SEIP - Software Engineering in Practice
Kazuki Yokoi NTT DATA Group Corporation, Eunjong Choi Kyoto Institute of Technology, Norihiro Yoshida Ritsumeikan University, Joji Okada , Yoshiki Higo Osaka University
17:10
30m
Talk
CP Decomposition and Set Theory based Root Cause Analysis in Online Service SystemsDistinguished Award
Technical Track
Qianbo Wei Institute of Information Engineering, Chinese Academy of Sciences, Qian Tan Institute of Information Engineering, Chinese Academy of Sciences, Yan Zhang Institute of Information Engineering, Chinese Academy of Sciences, Zhen Xu Institute of Information Engineering, Chinese Academy of Sciences, Hongyan Tan Institute of Information Engineering, Chinese Academy of Sciences
16:00 - 17:30
AI and Software Engineering (3)ERA - Early Research Achievements / SEIP - Software Engineering in Practice / Technical Track at Grand Hall 4
Chair(s): Jaechang Nam Handong Global University
16:00
30m
Talk
Interpreting CodeBERT for Semantic Code Clone Detection
Technical Track
Shamsa Abid Singapore Management University, Singapore, Xuemeng Cai Singapore Management University, Lingxiao Jiang Singapore Management University
Pre-print Media Attached
16:30
20m
Talk
A Novel Statistical Measure for Out-of-Distribution Detection in Data Quality Assurance
SEIP - Software Engineering in Practice
Tinghui Ouyang National Institute of Informatics, Japan, Isao Echizen National Institute of Informatics, Yoshiki Seo National Institute of Advanced Industrial Science and Technology
16:50
20m
Talk
Quality Assurance of A GPT-based Sentiment Analysis System: Adversarial Review Data Generation and Detection
SEIP - Software Engineering in Practice
Tinghui Ouyang National Institute of Informatics, Japan, Hoang-Quoc Nguyen-Son National Institute of Informatics, Huy H. Nguyen National Institute of Informatics, Isao Echizen National Institute of Informatics, Yoshiki Seo National Institute of Advanced Industrial Science and Technology
17:10
20m
Talk
TLDBERT: Leveraging Further Pre-trained Model for Issue Typed Links Detection
ERA - Early Research Achievements
Huaian Zhou National University of Defense Technology, Tao Wang National University of Defense Technology, Yang Zhang National University of Defense Technology, China, Yang Shen National University of Defense Technology

Wed 6 Dec

Displayed time zone: Seoul change

10:30 - 11:00
Coffee BreakCatering at Grand Hall Lobby
10:30
30m
Coffee break
Coffee Break
Catering

11:00 - 12:30
Testing and Analysis (3)Technical Track at Grand Hall 1
Chair(s): Jooyong Yi UNIST (Ulsan National Institute of Science and Technology)
11:00
30m
Talk
Context-Adaptation Bugs in Micro-Clones
Technical Track
Sayeedi Mottakin Khulna University, Maliha Bintay Zaman Khulna University, Manishankar Mondal Khulna University, Atanu Shome Khulna University
11:30
30m
Talk
P-DATA: A Task-Level Parallel Framework for Dependency-Aware Value Flow Taint Analysis
Technical Track
Runlin Xu National University of Defense Technology, Xiaoguang Mao National University of Defense Technology, Luohui Chen National University of Defense Technology
12:00
30m
Talk
Improving Vulnerability Detection with Hybrid Code Graph Representation
Technical Track
Xiangxin Meng Beihang University, Beijing, China, Shaoxiao Lu Beihang University, Xu Wang Beihang University, Xudong Liu Beihang University, Chunming Hu Beihang University
11:00 - 12:30
Requirements and Architecture (4)Technical Track / SEIP - Software Engineering in Practice at Grand Hall 2
Chair(s): Kentaro Yoshimura Hitachi, Ltd.
11:00
20m
Talk
A method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using GSN
SEIP - Software Engineering in Practice
Masahiro Watanabe Mazda Motor Corporation, Yutaka Matsuno College of Science and Technology, Nihon University, Toshinori Takai Nara Institute of Science and Technology
11:20
20m
Talk
Timing-aware Variability Resolution in EAST-ADL Product Line Architecture
SEIP - Software Engineering in Practice
Muhammad Waseem Anwar Department of Innovation, Design and Engineering Malardalen University, Alessio Bucaioni Malardalen University, Federico Ciccozzi Mälardalen University
11:40
20m
Talk
Migrating Individual Applications into Software Product Lines using the Mobioos Forge Platform
SEIP - Software Engineering in Practice
Karim Ghallab Sorbonne Universite - RedFabriQ/Mobioos, Tewfik Ziadi LIP6, Sorbonne Université, Zaak Chalal RedFabriQ/Mobioos
12:00
30m
Talk
MUSE: A Multi-Feature Semantic Fusion Method for ROS Node Search Based on Knowledge Graph
Technical Track
Yuxin Zhao Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Xinjun Mao National University of Defense Technology, Tanghaoran Zhang Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Zhang Zhang Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology
11:00 - 12:30
Tools and Processes (1)Technical Track at Grand Hall 3
Chair(s): Taeho Kim Electronics and Telecommunications Research Institute
11:00
30m
Talk
WMWatcher: Preventing Workload-Related Misconfigurations in Production Environment
Technical Track
Shulin Zhou National University of Defense Technology, Zhijie Jiang National University of Defense Technology, Shanshan Li National University of Defense Technology, Xiaodong Liu National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Jun Ma National University of Defense Technology, Haibo Mi National University of Defense Technology
11:30
30m
Talk
Reusability Challenges of Scientific Workflows: A Case Study for Galaxy
Technical Track
Khairul Alam Dept. of Computer Science, Usask, Banani Roy University of Saskatchewan, Alexander Serebrenik Eindhoven University of Technology
12:00
30m
Talk
Histree: A Tree-Based Experiment History Tracking Tool for Jupyter Notebooks
Technical Track
Laurens Studtmann Research Group Software Construction RWTH Aachen University, Selin Aydin Research Group Software Construction RWTH Aachen University, Horst Lichter Research Group Software Construction RWTH Aachen University
11:00 - 12:20
Formal Aspects of Software Engineering (1)Technical Track / ERA - Early Research Achievements at Grand Hall 4
Chair(s): Eun-Young Kang University of Southern Denmark
11:00
30m
Talk
Formal Verification of Interrupt Isolation for the TrustZone-based TEE
Technical Track
Leping Zhang College of Information Engineering, Capital Normal University, Qianying Zhang College of Information Engineering, Capital Normal University, Xinyue Wang College of Information Engineering, Capital Normal University, Ximeng Li Capital Normal University, Guohui Wang Capital Normal University, Beijing, China, Zhiping Shi College of Information Engineering, Capital Normal University, Yong Guan Capital Normal University, Beijing, China
11:30
30m
Talk
A Single-sample Pruning and Clustering Method for Neural Network Verification
Technical Track
Huanzhang Xiong Dalian University of Technology, Gang Hou Dalian University of Technology, Long Zhu Dalian University of Technology, Jie Wang Dalian University of Technology, Weiqiang Kong Dalian University of Technology
12:00
20m
Talk
A methodology for resilient safety-critical infrastructure using statistical model checking
ERA - Early Research Achievements
Rajesh Kumar Birla Institute of Technology and Sciences, Pilani, India, Nitish Yadav Birla Institute of Technology and Sciences, Pilani, India
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Testing and Analysis (4)SEIP - Software Engineering in Practice / Technical Track / ERA - Early Research Achievements at Grand Hall 1
Chair(s): Jongmoon Baik Korea Advanced Institute of Science and Technology
14:00
20m
Talk
Performance Diagnosis for Microservice-based Systems via Intra-/Inter-trace Analysis
ERA - Early Research Achievements
Zheheng Liang Joint Laboratory on Cyberspace Security of China Southern Power Grid, Guoquan Wu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College; China Southern Power Grid, Lei Cui Joint Laboratory on Cyberspace Security of China Southern Power Grid, Zhenyue Long
14:20
20m
Talk
Automated Runtime Transition between Virtual and Platform Threads in the Java Virtual Machine
ERA - Early Research Achievements
Andrea Rosà USI Lugano, Matteo Basso Università della Svizzera italiana (USI), Leonardo Bohnhoff Università della Svizzera italiana, Walter Binder USI Lugano
14:40
20m
Talk
Refining Use-after-free Defense: Eliminating Dangling Pointers in Registers and Memory
SEIP - Software Engineering in Practice
Xun An Institute of Information Engineering, Chinese Academy of Sciences, Qihang Zhou Institute of Information Engineering, Chinese Academy of Sciences, Haichao Du Institute of Information Engineering, Chinese Academy of Sciences, Zhenyu Song Institute of Information Engineering, Chinese Academy of Sciences, Xiaoqi Jia Institute of Information Engineering, Chinese Academy of Sciences
15:00
30m
Talk
AMPT: Automatic Mixed-Precision Tuning Based on Accuracy Gain
Technical Track
Jiangwei Hao Information Engineering University, yuanyuan xia Institute of Software, Chinese Academy of Sciences, Fei Li Information Engineering University, Hongru Yang Information Engineering University, Zongjiang Yi Information Engineering University, Bei Zhou Information Engineering University, Jianmin Pang Information Engineering University
14:00 - 15:30
Human Factors and Social Aspects of Software Engineering (1)Technical Track at Grand Hall 2
Chair(s): Eunkyoung Jee KAIST, South Korea
14:00
30m
Talk
Developer's Cognitive Effort Maintaining Microservices vs. Monoliths - An Eye-Tracking Study
Technical Track
Georg Simhandl University of Vienna, Philipp Paulweber fiskaly GmbH, Uwe Zdun University of Vienna
14:30
30m
Talk
Defining Bad Smells and Automating Their Detection in Goal-Oriented Requirement Analysis Method iStar
Technical Track
Yoshitake Hirabayashi Nanzan University, Shinji Ota Nanzan University, Suzuka Fujii Nanzan University, Motoshi Saeki Nanzan University
15:00
30m
Talk
Understanding Developers’ Contribution Motivation in Stack Overflow: A Systematic Review
Technical Track
Yi Yang National University of Defense Technology, Xinjun Mao National University of Defense Technology
14:00 - 15:30
14:00
30m
Talk
Exploring Trade-Offs in MLOps Adoption
Technical Track
Meenu Mary John Malmö University, Helena Holmström Olsson Malmö University, Jan Bosch Chalmers University of Technology, Daniel Gillblad Chalmers University of Technology & AI Sweden
14:30
20m
Talk
Bridging the Gap Between Academic Curricula and Industrial Practice with DevOps Education
EDU - Software Engineering Education
14:50
20m
Talk
Maturity Assessment Model for Industrial Data Pipelines
SEIP - Software Engineering in Practice
Aiswarya Munappy Chalmers University of Technology, Jan Bosch Chalmers University of Technology, Helena Holmström Olsson Malmö University
15:10
20m
Talk
A Meta-model for Outcome-Based Education: Streamlining Evaluation Processes
EDU - Software Engineering Education
Muhammad Awais Department of Computers and Software Engineering, College of E&ME,NUST, Islamabad, Pakistan, Muhammad Waseem Anwar Department of Innovation, Design and Engineering Malardalen University, Farooque Azam
14:00 - 15:30
Formal Aspects of Software Engineering (2)Technical Track / ERA - Early Research Achievements / SEIP - Software Engineering in Practice at Grand Hall 4
Chair(s): Jieung Kim Inha University
14:00
30m
Talk
Family-based Model Checking using Probabilistic Model Checker PRISM
Technical Track
Tomoji Kishi Waseda University
14:30
20m
Talk
Towards Formal Verification of Behaviour-Driven Development Scenarios using Timed Automata
ERA - Early Research Achievements
Eun-Young Kang University of Southern Denmark, Thiago Rocha Silva The Maersk Mc-Kinney Moller Institute, University of Southern Denmark
14:50
20m
Talk
Towards safety assessment of robot behaviors in SMACH
ERA - Early Research Achievements
Miguel Campusano University of Southern Denmark, Eun-Young Kang University of Southern Denmark
15:10
20m
Talk
Assessing Safety of an Automated Vehicle Through Model-driven Analysis and Simulation
SEIP - Software Engineering in Practice
Adedjouma Morayo CEA LIST, Fabien Gaudin Sherpa Engineering, Philippe Fiani Sherpa Engineering
15:30 - 16:00
Coffee BreakCatering at Grand Hall Lobby
15:30
30m
Coffee break
Coffee Break
Catering

Thu 7 Dec

Displayed time zone: Seoul change

10:30 - 11:00
Coffee BreakCatering at Grand Hall Lobby
10:30
30m
Coffee break
Coffee Break
Catering

11:00 - 12:30
Testing and Analysis (5)Technical Track at Grand Hall 1
Chair(s): Yunho Kim Hanyang University
11:00
30m
Talk
Automated Simulation-based Integration Testing for Multiple PLCs in a Reactor Protection System
Technical Track
Hyeongseok Eun KEPCO E&C, Eunkyoung Jee KAIST, South Korea, Doo-Hwan Bae Korea Advanced Institute of Science and Technology
11:30
30m
Talk
Verifying Exception-Handling Code in Concurrent Libraries
Technical Track
Dhriti Khanna IIIT Delhi, Subodh Sharma IIT Delhi, Rahul Purandare University of Nebraska-Lincoln
12:00
30m
Talk
Parameterized Search Heuristic Prediction for Concolic Execution
Technical Track
Farnoushsadat Nilizadeh Isfahan University of Technology, Hamid Dashtbani Department of Electrical and Computer Engineering, Isfahan University of Technology, Maryam Mouzarani Department of Electrical and Computer Engineering, Isfahan University of Technology
11:00 - 12:20
Human Factors and Social Aspects of Software Engineering (2)ERA - Early Research Achievements / EDU - Software Engineering Education at Grand Hall 2
Chair(s): Meng Yan Chongqing University
11:00
20m
Talk
Exploiting Paired Concepts to Facilitate Software Engineering Education
EDU - Software Engineering Education
Zheng Li Queen's University Belfast, UK, Austen Rainer Queen's University Belfast
11:20
20m
Talk
Toward Enhancing Software Developers’ Persuasion and Engagement in Gamification
EDU - Software Engineering Education
Masateru Tsunoda Kindai University, Hidetsugu Suto Kindai University, Takeshi Yamada Kindai University
11:40
20m
Talk
On Code Example-Aided Just-In-Time Learning for Programming Education
ERA - Early Research Achievements
Zheng Li Queen's University Belfast, UK, Sridhar Sai Gorrepati Queen's University Belfast, Desmond Greer Queens University 
12:00
20m
Talk
TABot: A Teaching Assistant Chatbot for Software Engineering Courses
ERA - Early Research Achievements
Shang-Pin Ma National Taiwan Ocean University, Yan-Cih Liang National Taiwan Ocean University, Sheng-Kai Wang National Taiwan Ocean University, Yu-Wen Huang National Taiwan Ocean University, Wan-Lin You National Taiwan Ocean University
11:00 - 12:30
Dependability, Safety, and ReliabilityERA - Early Research Achievements / SEIP - Software Engineering in Practice / Technical Track at Grand Hall 4
Chair(s): Sungsoo Ahn Gyeongsang National University
11:00
30m
Talk
Assessing the Effectiveness of Vulnerability Detection via Prompt Tuning: An Empirical Study
Technical Track
Guilong Lu Nantong University, Xiaolin Ju Nantong University, Xiang Chen Nantong University, ShaoYu Yang School of Information Science and Technology, Nantong University, Liang Chen Nantong University, Hao Shen Nantong University
11:30
20m
Talk
Quality Assurance for ML Devices - A Risk-Based ApproachDistinguished Award
SEIP - Software Engineering in Practice
Gonzalo Aguirre Dominguez Preferred Networks, Keigo Kawaai Preferred Networks, Hiroshi Maruyama Preferred Networks
11:50
20m
Talk
Scalable Fault Tree Analysis for Functional Safety Software
SEIP - Software Engineering in Practice
Hyung Ho Kim SolutionLink
12:10
20m
Talk
ChatGPT for Vulnerability Detection, Classification, and Repair: How Far Are We?
ERA - Early Research Achievements
Michael Fu Monash University, Kla Tantithamthavorn Monash University, Van Nguyen Monash University, Trung Le Monash University, Australia

Accepted Papers

Title
AMPT: Automatic Mixed-Precision Tuning Based on Accuracy Gain
Technical Track
Analytical Modeling and Empirical Validation of Performability of Service- and Cloud-Based Dynamic Routing Architecture Patterns
Technical Track
An Empirical Study on Regression Techniques for Software Defect Number Prediction (Poster)
Technical Track
An Empirical Study on the Stability of Explainable Software Defect PredictionDistinguished Award
Technical Track
Architectural Design Decisions for Data Communication of Cyber-Physical Systems
Technical Track
A Single-sample Pruning and Clustering Method for Neural Network Verification
Technical Track
Assessing the Effectiveness of Vulnerability Detection via Prompt Tuning: An Empirical Study
Technical Track
Automated Simulation-based Integration Testing for Multiple PLCs in a Reactor Protection System
Technical Track
Context-Adaptation Bugs in Micro-Clones
Technical Track
CP Decomposition and Set Theory based Root Cause Analysis in Online Service SystemsDistinguished Award
Technical Track
Defining Bad Smells and Automating Their Detection in Goal-Oriented Requirement Analysis Method iStar
Technical Track
Detecting Bot on GitHub Leveraging Transformer-based Models: A Preliminary Study (Poster)
Technical Track
Detecting Common Weakness Enumeration through training the Core Building Blocks of Similar Languages based on the CodeBERT Model (Poster)
Technical Track
Developer's Cognitive Effort Maintaining Microservices vs. Monoliths - An Eye-Tracking Study
Technical Track
Do App Developers Follow the Android Official Data Security Guidelines? An Empirical Measurement on App Data Security
Technical Track
Effective Anomaly Detection for Microservice Systems with Real-Time Feature Selection
Technical Track
Enhancing Logic Error Detection Through Program Pseudocodes (Poster)
Technical Track
Exploring Collaboration Patterns in GitHub using Discrete Time Markov Chain (Poster)
Technical Track
Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door (Poster)
Technical Track
Exploring Trade-Offs in MLOps Adoption
Technical Track
Family-based Model Checking using Probabilistic Model Checker PRISM
Technical Track
Formal Verification of Interrupt Isolation for the TrustZone-based TEE
Technical Track
FSFP:A Fine-Grained Online Service System Performance Failure Prediction Method Based on Cross-Attention.
Technical Track
Funding sources in Software Engineering top venues: a bibliometric study (Poster)
Technical Track
Histree: A Tree-Based Experiment History Tracking Tool for Jupyter Notebooks
Technical Track
Improving Code Refinement for Code Review Via Input Reconstruction and Ensemble LearningDistinguished Award
Technical Track
Improving Vulnerability Detection with Hybrid Code Graph Representation
Technical Track
Interpreting CodeBERT for Semantic Code Clone Detection
Technical Track
Pre-print Media Attached
Light-Weight MBSE Approach for Construction Equipment Domain - An Experience Report
Technical Track
LogFold: Enhancing Log Anomaly Detection through Sequence Folding and Reconstruction
Technical Track
MUSE: A Multi-Feature Semantic Fusion Method for ROS Node Search Based on Knowledge Graph
Technical Track
Natural Language Processing-based Requirements Modeling : A Case Study on Problem Frames
Technical Track
On the Effectiveness of Synthetic Benchmarks for Evaluating Directed Grey-box Fuzzers
Technical Track
On the Impact of Development Frameworks on Mobile Apps
Technical Track
On the Reliability of Coverage Data for Fault Localization
Technical Track
Parameterized Search Heuristic Prediction for Concolic Execution
Technical Track
P-DATA: A Task-Level Parallel Framework for Dependency-Aware Value Flow Taint Analysis
Technical Track
QoS-Aware Graph Contrastive Learning for Web Service Recommendation
Technical Track
Refactoring Programs Using Large Language Models with Few-Shot Examples
Technical Track
Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts
Technical Track
Reusability Challenges of Scientific Workflows: A Case Study for Galaxy
Technical Track
SAB: Stacking Action Blocks for Efficiently Generating Diverse Multimodal Critical Driving Scenario
Technical Track
Sentiment Analysis for Requirements Elicitation from App Reviews: A Systematic Mapping Study
Technical Track
Taxonomy of Architecture Maintainability Smells
Technical Track
Test case level predictive mutation testing combining PIE and natural language features
Technical Track
Towards Requirements Engineering Activities for Machine Learning-enabled FinTech Applications
Technical Track
Understanding Developers’ Contribution Motivation in Stack Overflow: A Systematic Review
Technical Track
Unit Test Based Component Integration Testing
Technical Track
Verifying Exception-Handling Code in Concurrent Libraries
Technical Track
WMWatcher: Preventing Workload-Related Misconfigurations in Production Environment
Technical Track

Call for Papers: Technical Track

The APSEC 2023 technical research track invites high-quality contributions describing original results in the discipline of software engineering. Solicited topics include, but are not limited to:

  • Tools and processes
    • Agile processes
    • DevOps and Container
    • Configuration Management and Deployment
    • Software Engineering Process and Standards
  • Requirements and Design
    • Service-oriented Computing
    • Component-based Software Engineering
    • Cooperative, Distributed, and Global Software Engineering
    • Software Architecture, Modeling and Design
    • Middleware, Frameworks, and APIs
    • Software Product-line Engineering
  • Testing and Analysis
    • Testing, Verification, and Validation
    • Program Analysis
    • Program Synthesis
    • Program Repairs
  • Formal Aspects of Software Engineering
    • Formal Methods
    • Model-driven and Domain-specific Engineering
  • Human Factors and Social Aspects of Software Engineering
    • Software Comprehension, Visualization, and Traceability
    • Software for Green and Sustainable Technologies
  • AI and Software Engineering
    • Search-based Software Engineering
    • AI for SE, SE for AI
  • Dependability, Safety, and Reliability
  • Software Maintenance and Evolution
    • Refactoring
    • Reverse Engineering
    • Software Reuse
    • Software Project Management
    • Debugging, Defect Prediction and Fault Localization
  • Software Repository Mining and Data Analytics

APSEC2023 welcomes submissions addressing topics in a variety of application domains, including mobile, cloud, blockchains, embedded and cyber-physical systems.

Evaluation Criteria

Technical research papers must not be more than 10 pages (including references). Submissions will be evaluated by at least three program committee members. The evaluation will focus on the novelty, originality, importance to the field, proper use of research methods, and presentation of the submissions.

Submission Instructions

Submitted papers must have been neither previously accepted for publication nor concurrently submitted for review in another journal, book, conference, or workshop.

All submissions must be in English and must come in A4 paper size PDF format and conform, at the time of submission, to the IEEE Conference Proceedings Formatting Guidelines (title in 24pt font and full text in 10pt font, LaTeX users must use \documentclass[10pt,conference]{IEEEtran} without including the compsoc or compsocconf option). Also, papers must comply with the IEEE Policy on Authorship. Submissions must be submitted electronically in PDF before the due date via EasyChair.

The Chairs reserve the right to reject submissions (without reviews) that are not in compliance or out of scope for the conference.

IMPORTANT: The APSEC 2023 technical research track will use a double-blind reviewing process, which means that submissions must not reveal the authors’ identities. The authors must make every effort to honor the double-blind reviewing process. Submissions must adhere to the following rules (largely reused from ASE 2017 double-blind instructions and SANER 2022 double-blind instructions). Please read carefully the APSEC 2023 double-blind instructions before preparing your paper.

Submission Link

Papers must be submitted through https://easychair.org/conferences/?conf=apsec2023

Important Dates

  • Abstract Deadline: June 30, 2023 July 7, 2023
  • Paper Deadline: July 7, 2023 July 14, 2023
  • Author Notification: Aug 18, 2023 Aug 23, 2023
  • Camera Ready Deadline: Oct 13, 2023 Oct 20, 2023

Accepted Papers and Attendance Expectation

All accepted papers will be submitted to the CS Digital Library as the APSEC 2023 conference proceedings.

Accepted papers will not be permitted any additional page of content. But, we hope that the authors will reflect the reviewers’ comments as much as possible in the camera-ready version. After acceptance, the list of paper authors can not be changed under any circumstances, and the list of authors on camera-ready papers must be identical to those on submitted papers. After acceptance, paper titles can not be changed except by permission of the Program Co-Chairs, and only then when referees recommend a change for clarity or accuracy with paper content. If a submission is accepted, at least one author of the paper must register for APSEC 2023 and present the paper at the conference. If an accepted paper is not presented, the paper is removed from the proceedings.

Contact

Yunja Choi and Meng Yan
APSEC 2023 Program Co-Chairs

IMPORTANT: The APSEC 2023 technical research track will use a double-blind reviewing process, which means that submissions must not reveal the authors’ identities. The authors must make every effort to honor the double-blind reviewing process. Submissions must adhere to the following rules (largely reused from SANER 2022 double-blind instructions).

  • Omit authors’ names and institutions from your title page.
  • References to authors’ own related work must be in the third person. (For example, not “We build on our previous work…” but rather “We build on the work of…”)
  • There may be cases in which the current submission is a clear follow up of one of your previous work, and despite what recommended in the previous point, reviewers will clearly associate authorship of such a previous work to the current submission. In this case, you may decide to anonymize the reference itself at submission time. For example: “based on previous results [10]” .. where the reference is reported as “[10] Anonymous Authors. Omitted for double blind reviewing.” In doing so, however, please make sure that the APSEC 2023 submission is self-contained and its content can be reviewed and understood without accessing the previous paper.
  • Do not include acknowledgements of people, grants, organizations, etc. that would give away your identity. You may, of course, add these acknowledgements in the camera-ready version.
  • In general, aim to reduce the risk of accidental unblinding. For example, if you use an identifiable naming convention for your work, such as a project name, use a different name for your submission, which you may indicate has been changed for the purposes of double-blind reviewing. This includes names that may unblind individual authors and their institutions. For example, if your project is called GoogleDeveloperHelper, which makes it clear the work was done at Google, for the submission version, use the name DeveloperHelper or BigCompanyDeveloperHelper instead.
  • Avoid revealing the institution affiliations of authors or at which the work was performed. For example, if the evaluation includes a user study conducted with undergraduates from the CS 101 class that you teach, you might say “The study participants consist of 200 students in an introductory CS course.” You can of course add the institutional information in the camera-ready. Similar suggestions apply for work conducted in specific organizations (e.g., industrial studies). In such cases, avoid mentioning the organization’s name. Instead, you may just refer to the organization as “Org” or “Company”, etc. When appropriate and when this does not help too much in revealing the company’s name, you might mention the context (e.g., financial organization, video game development company, etc.).
  • APSEC 2023 believes in open science and that open science aids reproducibility and replicability. To improve these factors we encourage authors to consider disclosing the source code and datasets used within their paper, including extractors, survey data, etc. By sharing this information your contribution will be more impactful because others can follow up on your work and of course cite it. But please avoid linking directly to code repositories or tool deployments which can reveal your identity. Instead of doing so, please consider using Zenodo, Figshare, or other services that provide DOIs and allowing anonymous and semi-anonymous methods of archiving software and datasets. Archive.org is recommended for the dissemination of larger datasets. These datasets, anonymized through Zenodo and other services, should be linked within the paper itself. Instructions for double-blind friendly uploading of datasets is available here: https://ineed.coffee/post/how-to-disclose-data-for-double-blind-review-and-make-it-archived-open-data-upon-acceptance.html