APSEC 2023 (series) /
APSEC 2023 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 4 DecDisplayed time zone: Seoul change
Mon 4 Dec
Displayed time zone: Seoul change
09:00 - 10:30 | |||
09:00 90mTutorial | Distributed Systems - What Every Software Engineer Should Know Tutorials Ian Gorton Northeastern University – Seattle, USA | ||
09:00 - 10:30 | |||
09:00 90m | EEE-OSS 2023: Exploring Employee Experience in Open Source Software Workshops | ||
09:00 - 10:30 | |||
09:00 90m | QuASoQ 2023: 11th International Workshop on Quantitative Approaches to Software Quality Workshops | ||
09:00 - 10:30 | |||
09:00 90m | ISE 2023: 2nd International Workshop on Intelligent Software Engineering Workshops | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break Catering | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Distributed Systems - What Every Software Engineer Should Know Tutorials Ian Gorton Northeastern University – Seattle, USA | ||
11:00 - 12:30 | |||
11:00 90m | EEE-OSS 2023: Exploring Employee Experience in Open Source Software Workshops | ||
11:00 - 12:30 | |||
11:00 90m | QuASoQ 2023: 11th International Workshop on Quantitative Approaches to Software Quality Workshops | ||
11:00 - 12:30 | |||
11:00 90m | ISE 2023: 2nd International Workshop on Intelligent Software Engineering Workshops | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Open Source Software Digital Sociology: Quantifying and Managing Complex Open Source Software Ecosystem Tutorials Minghui Zhou Peking University, Yuxia Zhang Beijing Institute of Technology, Xin Tan Beihang University, | ||
14:00 - 15:30 | |||
14:00 90m | EEE-OSS 2023: Exploring Employee Experience in Open Source Software Workshops | ||
14:00 - 15:30 | |||
14:00 90m | CIW 2023: 1st Workshop on Code Intelligence Workshops | ||
14:00 - 15:30 | |||
14:00 90m | IWESQ 2023: 5th International Workshop on Experience with SQuaRE series and its future direction Workshops | ||
14:00 - 15:30 | |||
14:00 90m | ISE 2023: 2nd International Workshop on Intelligent Software Engineering Workshops | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee Break Catering | ||
16:00 - 16:30 | |||
16:00 30mTutorial | Open Source Software Digital Sociology: Quantifying and Managing Complex Open Source Software Ecosystem Tutorials Minghui Zhou Peking University, Yuxia Zhang Beijing Institute of Technology, Xin Tan Beihang University, | ||
16:00 - 17:30 | |||
16:00 90m | EEE-OSS 2023: Exploring Employee Experience in Open Source Software Workshops | ||
16:00 - 17:30 | |||
16:00 90m | CIW 2023: 1st Workshop on Code Intelligence Workshops | ||
16:00 - 17:30 | |||
16:00 90m | IWESQ 2023: 5th International Workshop on Experience with SQuaRE series and its future direction Workshops | ||
16:00 - 17:30 | |||
16:00 90m | ISE 2023: 2nd International Workshop on Intelligent Software Engineering Workshops | ||
Tue 5 DecDisplayed time zone: Seoul change
Tue 5 Dec
Displayed time zone: Seoul change
09:00 - 09:30 | |||
09:00 30mDay opening | Opening Ceremony APSEC Social Events | ||
09:30 - 10:30 | KeynoteKeynotes at Grand Hall 1 Chair(s): In-Young Ko Korea Advanced Institute of Science and Technology | ||
09:30 60mKeynote | Translating SE Skills to AI Company Leadership Keynotes Sunghun Kim Hong Kong University of Science and Technology | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break Catering | ||
11:00 - 12:30 | Testing and Analysis (1)Technical Track at Grand Hall 1 Chair(s): Shingo Takada Keio University, Japan | ||
11:00 30mTalk | Unit Test Based Component Integration Testing Technical Track Nils Wild RWTH Aachen University, Horst Lichter Research Group Software Construction RWTH Aachen University | ||
11:30 30mTalk | On the Effectiveness of Synthetic Benchmarks for Evaluating Directed Grey-box Fuzzers Technical Track | ||
12:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | Light-Weight MBSE Approach for Construction Equipment Domain - An Experience Report Technical Track | ||
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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 20mTalk | Automated Detection of Dark Patterns Using In-Context Learning Capabilities of GPT-3 ERA - Early Research Achievements Yasin Sazid University of Dhaka, Fuad Mridha University of Dhaka, Kazi Sakib Institute of Information Technology, University of Dhaka | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | Requirements and Architecture (2)Technical Track at Grand Hall 2 Chair(s): Ian Gorton Northeastern University – Seattle, USA | ||
14:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | Improving Code Refinement for Code Review Via Input Reconstruction and Ensemble LearningDistinguished Award Technical Track | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee Break Catering | ||
16:00 - 17:30 | Requirements and Architecture (3)Technical Track at Grand Hall 2 Chair(s): Seonah Lee Gyeongsang National University | ||
16:00 30mTalk | 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 30mTalk | 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 30mTalk | Natural Language Processing-based Requirements Modeling : A Case Study on Problem Frames Technical Track | ||
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 30mTalk | 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 20mTalk | 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 20mTalk | 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 30mTalk | 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 30mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
18:00 - 19:30 | |||
18:00 90mDinner | Welcome Reception APSEC Social Events | ||
Wed 6 DecDisplayed time zone: Seoul change
Wed 6 Dec
Displayed time zone: Seoul change
09:30 - 10:30 | |||
09:30 60mKeynote | SWEBOK Guide Evolution and Its Emerging Areas including Machine Learning Patterns Keynotes Hironori Washizaki Waseda University | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break Catering | ||
11:00 - 12:30 | Testing and Analysis (3)Technical Track at Grand Hall 1 Chair(s): Jooyong Yi UNIST (Ulsan National Institute of Science and Technology) | ||
11:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 20mTalk | A methodology for resilient safety-critical infrastructure using statistical model checking ERA - Early Research Achievements Rajesh Kumar Birla Institute of Technology and Sciences, Pilani, India, Nitish Yadav Birla Institute of Technology and Sciences, Pilani, India | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | Testing and Analysis (4)SEIP - Software Engineering in Practice / Technical Track / ERA - Early Research Achievements at Grand Hall 1 Chair(s): Jongmoon Baik Korea Advanced Institute of Science and Technology | ||
14:00 20mTalk | 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 20mTalk | 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 20mTalk | 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 30mTalk | 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 30mTalk | Developer's Cognitive Effort Maintaining Microservices vs. Monoliths - An Eye-Tracking Study Technical Track | ||
14:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 20mTalk | Bridging the Gap Between Academic Curricula and Industrial Practice with DevOps Education EDU - Software Engineering Education | ||
14:50 20mTalk | 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 20mTalk | 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 30mTalk | Family-based Model Checking using Probabilistic Model Checker PRISM Technical Track Tomoji Kishi Waseda University | ||
14:30 20mTalk | 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 20mTalk | Towards safety assessment of robot behaviors in SMACH ERA - Early Research Achievements | ||
15:10 20mTalk | Assessing Safety of an Automated Vehicle Through Model-driven Analysis and Simulation SEIP - Software Engineering in Practice | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee Break Catering | ||
16:00 - 17:30 | APSEC's 30th Anniversary MIPs SessionAPSEC's 30th Anniversary MIPs Session at Grand Hall 1 Chair(s): Suntae Kim Jeonbuk National University | ||
16:00 45mTalk | The Qualitas Corpus: A Curated Collection of Java Code for Empirical Studies APSEC's 30th Anniversary MIPs Session Ewan Tempero University of Auckland | ||
16:45 45mTalk | From Monolith to Microservices: A Dataflow-Driven Approach APSEC's 30th Anniversary MIPs Session Zheng Li Queen's University Belfast, UK | ||
18:00 - 20:30 | |||
18:00 2h30mDinner | Banquet APSEC Social Events | ||
Thu 7 DecDisplayed time zone: Seoul change
Thu 7 Dec
Displayed time zone: Seoul change
09:30 - 10:30 | |||
09:30 60mKeynote | Intelligent Software Engineering – Progress and Challenges Keynotes Hongyu Zhang Chongqing University | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | Verifying Exception-Handling Code in Concurrent Libraries Technical Track | ||
12:00 30mTalk | 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 20mTalk | Exploiting Paired Concepts to Facilitate Software Engineering Education EDU - Software Engineering Education | ||
11:20 20mTalk | 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 20mTalk | 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 20mTalk | 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 30mTalk | 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 20mTalk | 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 20mTalk | Scalable Fault Tree Analysis for Functional Safety Software SEIP - Software Engineering in Practice Hyung Ho Kim SolutionLink | ||
12:10 20mTalk | 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 | ||
12:30 - 13:00 | |||
12:30 30mDay closing | Closing Ceremony APSEC Social Events | ||