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

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).

Dates
Tracks
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
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
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

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
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

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
A methodology for resilient safety-critical infrastructure using statistical model checking
ERA - Early Research Achievements
A Pilot Study of Testing Infrastructure as Code for Cloud Systems
ERA - Early Research Achievements
Automated Detection of Dark Patterns Using In-Context Learning Capabilities of GPT-3
ERA - Early Research Achievements
Automated Runtime Transition between Virtual and Platform Threads in the Java Virtual Machine
ERA - Early Research Achievements
Can ChatGPT Correct Code Based on Logical Steps? (Short Paper)
ERA - Early Research Achievements
ChatGPT for Vulnerability Detection, Classification, and Repair: How Far Are We?
ERA - Early Research Achievements
Consistency of Code: A prompt based approach to comprehend functionality (Short Paper)
ERA - Early Research Achievements
Investigating Technology Usage Span by Analyzing Users' Q&A Traces in Stack Overflow
ERA - Early Research Achievements
On Code Example-Aided Just-In-Time Learning for Programming Education
ERA - Early Research Achievements
On mutation testing of graph database queries in the Cypher language
ERA - Early Research Achievements
Performance Diagnosis for Microservice-based Systems via Intra-/Inter-trace Analysis
ERA - Early Research Achievements
Symbolic Execution of MPI Programs with One-Sided Communications (Short Paper)
ERA - Early Research Achievements
TABot: A Teaching Assistant Chatbot for Software Engineering Courses
ERA - Early Research Achievements
Test Case Generation for Cross-Blockchain Smart Contract (Short Paper)
ERA - Early Research Achievements
TLDBERT: Leveraging Further Pre-trained Model for Issue Typed Links Detection
ERA - Early Research Achievements
Towards Formal Verification of Behaviour-Driven Development Scenarios using Timed Automata
ERA - Early Research Achievements
Towards safety assessment of robot behaviors in SMACH
ERA - Early Research Achievements
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution (Short Paper)
ERA - Early Research Achievements
Visualizing Program Behavior with a Ball and Pipes for Computer Science Unplugged (Short Paper)
ERA - Early Research Achievements

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.