APSEC 2023 - SEIP - Software Engineering in Practice

The purpose of SEIP (Software Engineering in Practice) track offers a unique opportunity for practitioners from industry and academia to share their valuable experiences, insights, pragmatic research issues and the best practices in the software engineering community. As part of the APSEC2023 conference, the SEIP Track aims to foster collaboration and mutual learning between these two vital sectors. We welcome submissions from industrial practitioners and academic researchers that align with the general topics outlined in the technical research track, as well as emerging technical topics such as AI, autonomous, safety, SoS(System of systems).

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

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 Rulin 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 method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using GSN SEIP - Software Engineering in Practice Masahiro Watanabe, Yutaka Matsuno, Toshinori Takai
	A Novel Statistical Measure for Out-of-Distribution Detection in Data Quality Assurance SEIP - Software Engineering in Practice Tinghui Ouyang, Isao Echizen, Yoshiki Seo
	Assessing Opaque Predicates: Unveiling the Efficacy of Popular Obfuscators with a Rapid Deobfuscator (Poster) SEIP - Software Engineering in Practice Hyungchang Jeon, Seoksu Lee, Eun-Sun Cho
	Assessing Safety of an Automated Vehicle Through Model-driven Analysis and Simulation SEIP - Software Engineering in Practice Adedjouma Morayo, Fabien Gaudin, Philippe Fiani
	Automating Test Generation of Industrial Control Software through a PLC-to-Python Translation Framework and Pynguin SEIP - Software Engineering in Practice Mikael Ebrahimi Salari, Eduard Paul Enoiu, Cristina Seceleanu, Wasif Afzal, Filip Sebek
	Cost-Benefit Analysis for Modernizing a Large-Scale Industrial SystemDistinguished Award SEIP - Software Engineering in Practice Kazuki Yokoi, Eunjong Choi, Norihiro Yoshida, Joji Okada, Yoshiki Higo
	Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System SEIP - Software Engineering in Practice Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
	Maturity Assessment Model for Industrial Data Pipelines SEIP - Software Engineering in Practice Aiswarya Munappy, Jan Bosch, Helena Holmström Olsson
	Migrating Individual Applications into Software Product Lines using the Mobioos Forge Platform SEIP - Software Engineering in Practice Karim Ghallab, Tewfik Ziadi, Zaak Chalal
	Quality Assurance for ML Devices - A Risk-Based ApproachDistinguished Award SEIP - Software Engineering in Practice Gonzalo Aguirre Dominguez, Keigo Kawaai, Hiroshi Maruyama
	Quality Assurance of A GPT-based Sentiment Analysis System: Adversarial Review Data Generation and Detection SEIP - Software Engineering in Practice Tinghui Ouyang, Hoang-Quoc Nguyen-Son, Huy H. Nguyen, Isao Echizen, Yoshiki Seo
	Refining Use-after-free Defense: Eliminating Dangling Pointers in Registers and Memory SEIP - Software Engineering in Practice Xun An, Qihang Zhou, Haichao Du, Zhenyu Song, Xiaoqi Jia
	Scalable Fault Tree Analysis for Functional Safety Software SEIP - Software Engineering in Practice Hyung Ho Kim
	Timing-aware Variability Resolution in EAST-ADL Product Line Architecture SEIP - Software Engineering in Practice Muhammad Waseem Anwar, Alessio Bucaioni, Federico Ciccozzi

Call for Papers: Software Engineering in Practice Track

Topics of Interest

The major topics of SEIP 2023 include the following, but not limited to:

Verification and validation of machine learning systems
Software safety engineering in autonomous systems such as autonomous vehicles
Software safety in functional safety, STPA/STAMP and other safety disciplines
Software engineering on connected world including SoS
Generative AI and software engineering
Emerging methodology in software engineering
Difficulties, issues, and challenges from SE in practice
Introducing of new standards in SE
Best practices in traditional software engineering

Evaluation Criteria

Each submission will be meticulously reviewed by a minimum of three members of the SEIP Program Committee. The evaluation process will consider industry relevance, originality, soundness, empirical and/or practical validation, as well as the quality and coherence of the presentation. Please note that, unlike the technical research track, the SEIP track does NOT necessitate double-anonymous reviews.

Submission Guideline

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.

An SEIP paper must not exceed 10 pages for the main text, including appendices, figures, tables, and references(short papers around 5 pages are also welcomed). The Chairs reserve the right to reject submissions (without reviews) that are not in compliance or out of scope for the conference.

Important Dates

Paper Deadline: ~~Friday, Aug 25, 2023~~ Wednesday, Aug 30, 2023
Author Notification: Friday, October 6, 2023
Camera Ready Deadline: Friday, October 20, 2023

Submission Link

Papers must be submitted through EasyChair: submission link

Accepted Papers and Attendance Expectation

All accepted papers will be submitted to the CS Digital Library as the APSEC 2023 conference proceedings. If a submission is accepted, at least one author of the paper is required to register for and attend the conference to present the paper. The presentation is expected to be delivered in person, unless this is impossible due to travel restrictions (related to, e.g., health, visa, etc.). “If an accepted paper is not presented, the paper is removed from the proceedings.

Contacts

For more information, please contact the APSEC SEIP 2023 Co-Chairs:

Sang Yoon Min, Solutionlink Co., sang@sol-link.com
Yoshimura Kentaro, Hitachi, Ltd., kentaro.yoshimura.jr@hitachi.com

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

SEIP - Software Engineering in PracticeAPSEC 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: Software Engineering in Practice Track

Sang Yoon MinCo-chair

CEO, SOLUTIONLINK Co.

South Korea

Kentaro YoshimuraCo-chair

Hitachi, Ltd.

Japan

Martin Becker

Fraunhofer IESE

Germany

Eunjong Choi

Kyoto Institute of Technology

Japan

Ian Gorton

Northeastern University – Seattle, USA

United States

Kenji Hisazumi

Shibaura Institute of Technology

Japan

Jang-Eui Hong

Chungbuk National University

South Korea

Sangwon Hyun

University of Adelaide

Australia

Akinori Ihara

Wakayama University

Japan

Fuyuki Ishikawa

National Institute of Informatics

Japan

Takashi Ishio

Future University Hakodate

Japan

Hyung Ho Kim

SolutionLink

South Korea

Taeho Kim

Electronics and Telecommunications Research Institute

South Korea

Byungsun Ko

NIPA

Seo Ryong Koo

Korea Atomic Energy Research Institute

South Korea

Jang-Soo Lee

Samsung Electronics

South Korea

Namhee Lee

SolutionLink Co.

South Korea

Sherlock A. Licorish

University of Otago

New Zealand

Yu-Seung Ma

Electronics and Telecommunications Research Institute

South Korea

Seunghun Park

SK Telecom

South Korea

Shinobu Saito

NTT

Japan

Yong-Jun Shin

ETRI

South Korea

Hironori Takeuchi

Musashi University

Japan

Kenji Tei

Tokyo Institute of Technology

Japan

Ewan Tempero

University of Auckland

Tue 5 Dec
Displayed time zone: Seoul change

Wed 6 Dec
Displayed time zone: Seoul change

Thu 7 Dec
Displayed time zone: Seoul change