APSEC 2023 - ERA - Early Research Achievements

The ERA (Early Research Achievements) track provides a forum for discussion of ongoing work. As such, this track focuses more on discussing new ideas than presenting complete results.

The topics of this track encompass all topics of the Technical Track and SEIP (Software Engineering in Practice).

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

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

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	AI and Software Engineering (2)EDU - Software Engineering Education / Technical Track / ERA - Early Research Achievements / SEIP - Software Engineering in Practice at Grand Hall 4 Chair(s): Shin Yoo KAIST

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	Poster SessionTechnical Track / SEIP - Software Engineering in Practice / ERA - Early Research Achievements at Grand Hall Foyer

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

16:00 - 17:20	Testing and Analysis (2)EDU - Software Engineering Education / ERA - Early Research Achievements / SEIP - Software Engineering in Practice at Grand Hall 1 Chair(s): Shin Hong Handong Global University

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 Shingo Ariwaka Osaka University, Tatsuhiro Tsuchiya
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

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

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	Tools and Processes (2)SEIP - Software Engineering in Practice / EDU - Software Engineering Education / Technical Track at Grand Hall 3 Chair(s): Sang Yoon Min CEO, SOLUTIONLINK Co.

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 Nick Patrikeos UNSW, Yuchao Jiang UNSW, Fethi Rabhi UNSW
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

Thu 7 Dec
Displayed time zone: Seoul change

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
	A Machine Learning Based Approach to Detect Machine Learning Design Patterns ERA - Early Research Achievements Weitao Pan, Hironori Washizaki, Nobukazu Yoshioka, Yoshiaki Fukazawa, Foutse Khomh, Yann-Gaël Guéhéneuc
	A methodology for resilient safety-critical infrastructure using statistical model checking ERA - Early Research Achievements Rajesh Kumar, Nitish Yadav
	A Pilot Study of Testing Infrastructure as Code for Cloud Systems ERA - Early Research Achievements Nabhan Suwanachote, Soratouch Pornmaneerattanatri, Yutaro Kashiwa, Kohei Ichikawa, Pattara Leelaprute, Arnon Rungsawang, Bundit Manaskasemsak, Hajimu Iida
	Automated Detection of Dark Patterns Using In-Context Learning Capabilities of GPT-3 ERA - Early Research Achievements Yasin Sazid, Fuad Mridha, Kazi Sakib
	Automated Runtime Transition between Virtual and Platform Threads in the Java Virtual Machine ERA - Early Research Achievements Andrea Rosà, Matteo Basso, Leonardo Bohnhoff, Walter Binder
	Can ChatGPT Correct Code Based on Logical Steps? (Short Paper) ERA - Early Research Achievements Nao Souma, Ito Waka, Momoka Obara, Takako Kawaguchi, Yuka Akinobu, Toshiyuki Kurabayashi, Haruto Tanno, Kimio Kuramitsu
	ChatGPT for Vulnerability Detection, Classification, and Repair: How Far Are We? ERA - Early Research Achievements Michael Fu, Kla Tantithamthavorn, Van Nguyen, Trung Le
	Consistency of Code: A prompt based approach to comprehend functionality (Short Paper) ERA - Early Research Achievements Hoyoung Choi, Hyunjae Park, Young-June Choi, Kyungsik Han
	Investigating Technology Usage Span by Analyzing Users' Q&A Traces in Stack Overflow ERA - Early Research Achievements Saikat Mondal, Debajyoti Mondal, Chanchal K. Roy
	On Code Example-Aided Just-In-Time Learning for Programming Education ERA - Early Research Achievements Zheng Li, Sridhar Sai Gorrepati, Desmond Greer
	On mutation testing of graph database queries in the Cypher language ERA - Early Research Achievements Shingo Ariwaka, Tatsuhiro Tsuchiya
	Performance Diagnosis for Microservice-based Systems via Intra-/Inter-trace Analysis ERA - Early Research Achievements Zheheng Liang, Guoquan Wu, Lei Cui, Zhenyue Long
	Symbolic Execution of MPI Programs with One-Sided Communications (Short Paper) ERA - Early Research Achievements hunenghui , Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang
	TABot: A Teaching Assistant Chatbot for Software Engineering Courses ERA - Early Research Achievements Shang-Pin Ma, Yan-Cih Liang, Sheng-Kai Wang, Yu-Wen Huang, Wan-Lin You
	Test Case Generation for Cross-Blockchain Smart Contract (Short Paper) ERA - Early Research Achievements JiaHao Gong, Shunhui Ji, Pengcheng Zhang
	TLDBERT: Leveraging Further Pre-trained Model for Issue Typed Links Detection ERA - Early Research Achievements Huaian Zhou, Tao Wang, Yang Zhang, Yang Shen
	Towards Formal Verification of Behaviour-Driven Development Scenarios using Timed Automata ERA - Early Research Achievements Eun-Young Kang, Thiago Rocha Silva
	Towards safety assessment of robot behaviors in SMACH ERA - Early Research Achievements Miguel Campusano, Eun-Young Kang
	Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution (Short Paper) ERA - Early Research Achievements Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang
	Visualizing Program Behavior with a Ball and Pipes for Computer Science Unplugged (Short Paper) ERA - Early Research Achievements Sumika Jinnouchi, Masateru Tsunoda

Call for Papers: Early Research Achievements Track

The ERA (Early Research Achievements) track provides a forum for discussion of ongoing work. As such, this track focuses more on discussing new ideas than presenting complete results.

The topics of this track encompass all topics of the Technical Track and SEIP (Software Engineering in Practice).

Presentation and publication

The APSEC 2023 ERA track invites two kinds of submissions:

Regular (Oral) Papers

A regular paper, to be presented orally, must not exceed 5 pages for the main text, including appendices, figures, tables, and references. Authors of accepted regular papers will be invited to give a talk on the paper.

Short Papers

A short paper must not exceed 2 pages for the main text, including appendices, figures, tables, and references. Authors of accepted short papers will be invited to present a poster. A submission longer than 2 pages will be considered to be a regular (oral) paper submission and will be evaluated accordingly.

Evaluation Criteria

Submissions will be evaluated by at least three program committee members. The evaluation will mainly focus on the novelty, importance to the field, proper use of research methods, and presentation of the submissions. A submission must not have been previously published, nor be under consideration for publication elsewhere.

Submission Instructions

Papers must be submitted electronically through the ERA Track submission site. All submissions must be written in English and must be in PDF format, use A4 paper size, and conform 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.

Double-Blind Submission Guidelines

The APSEC 2023 ERA track will adopt a double-blind review process. Submissions should not disclose the identity of the authors to comply with the double-anonymous review process. For more information, please check these instructions.

Important Dates

Submission: September 1, 2023 (AoE)
Notification: October 6, 2023
Camera Ready: October 20, 2023

Accepted Papers and Attendance Expectation

All accepted papers will be submitted to the CS Digital Library as the APSEC 2023 conference proceedings. The maximum page limit remains the same (5 pages for a regular (oral) paper and 2 pages for a short paper).

After acceptance, the list of paper authors cannot be changed under any circumstances; that is, the list of authors on camera-ready papers must be identical to those on submitted papers. After acceptance, paper titles cannot 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 is required to register for APSEC 2023 and present the paper in person at the conference location (online presentation will not be allowed). If an accepted paper is not presented, the paper will be removed from the proceedings.

Questions and Comments

If you have any questions, please contact the PC chairs at jooyong@unist.ac.kr and Leavens@ucf.edu.

ERA - Early Research AchievementsAPSEC 2023

Program Display Configuration

Tue 5 DecDisplayed time zone: Seoul change

Wed 6 DecDisplayed time zone: Seoul change

Thu 7 DecDisplayed time zone: Seoul change

Accepted Papers

Call for Papers: Early Research Achievements Track

Jooyong YiCo-chair

UNIST (Ulsan National Institute of Science and Technology)

South Korea

Gary T. LeavensCo-chair

University of Central Florida

United States

Yuyan Bao

Augusta University

United States

Morakot Choetkiertikul

Mahidol University, Thailand

Thailand

Eunjong Choi

Kyoto Institute of Technology

Japan

Zhen Dong

Fudan University, China

China

Cuiyun Gao

Harbin Institute of Technology

China

Xiaodong Gu

Shanghai Jiao Tong University

China

DongGyun Han

Royal Holloway, University of London

United Kingdom

Sungwon Kang

Korea Advanced Institute of Science and Technology

Samantha Syeda Khairunnesa

Bradley University

United States

Dae-Kyoo Kim

Oakland University

United States

Jindae Kim

Seoul National University of Science and Technology

South Korea

Sungahn Ko

UNIST

South Korea

Kimio Kuramitsu

Japan Women's University

Japan

Xuan-Bach D. Le

University of Melbourne

Australia

Leon Moonen

Simula Research Laboratory and BI Norwegian Business School

Norway

Hiroyuki Nakagawa

Osaka University

Japan

Thuan Pham

The University of Melbourne

Donghwan Shin

University of Sheffield

United Kingdom

Song Wang

York University

Canada

Tue 5 Dec
Displayed time zone: Seoul change

Wed 6 Dec
Displayed time zone: Seoul change

Thu 7 Dec
Displayed time zone: Seoul change