APSEC 2023
Mon 4 - Thu 7 December 2023 Seoul, South Korea
APSEC 2023 (series) / Grand Walkerhill Seoul /

Room information: Grand Hall 4

VenueGrand Walkerhill Seoul
Room nameGrand Hall 4
Floor-1
Capacity76
Room InformationNo extra information available
Program

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

Mon 4 Dec

Displayed time zone: Seoul change

09:00 - 10:30
QuASoQWorkshops at Grand Hall 4
09:00
90m
QuASoQ 2023: 11th International Workshop on Quantitative Approaches to Software Quality
Workshops
C: Horst Lichter Research Group Software Construction RWTH Aachen University
11:00 - 12:30
QuASoQWorkshops at Grand Hall 4
11:00
90m
QuASoQ 2023: 11th International Workshop on Quantitative Approaches to Software Quality
Workshops
C: Horst Lichter Research Group Software Construction RWTH Aachen University
14:00 - 15:30
IWESQWorkshops at Grand Hall 4
14:00
90m
IWESQ 2023: 5th International Workshop on Experience with SQuaRE series and its future direction
Workshops
P: Tsuyoshi Nakajima Shibaura Institute of Technology
16:00 - 17:30
IWESQWorkshops at Grand Hall 4
16:00
90m
IWESQ 2023: 5th International Workshop on Experience with SQuaRE series and its future direction
Workshops
P: Tsuyoshi Nakajima Shibaura Institute of Technology

Tue 5 Dec

Displayed time zone: Seoul change

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

Mon 4 Dec

Displayed time zone: Seoul change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Hall 4

Workshops

QuASoQ

Workshops

QuASoQ

Workshops

IWESQ

Workshops

IWESQ

Tue 5 Dec

Displayed time zone: Seoul change

Room11:003012:003013:003014:003015:003016:003017:0030
Grand Hall 4

Technical Track + ERA - Early Research Achievements

AI and Software Engineering (1)

EDU - Software Engineering Education + Technical Track + ERA - Early Research Achievements + SEIP - Software Engineering in Practice

AI and Software Engineering (2)

ERA - Early Research Achievements + SEIP - Software Engineering in Practice + Technical Track

AI and Software Engineering (3)

Wed 6 Dec

Displayed time zone: Seoul change

Room11:003012:003013:003014:003015:0030
Grand Hall 4

Technical Track + ERA - Early Research Achievements

Formal Aspects of Software Engineering (1)

Technical Track + ERA - Early Research Achievements + SEIP - Software Engineering in Practice

Formal Aspects of Software Engineering (2)

Thu 7 Dec

Displayed time zone: Seoul change

Room11:003012:0030
Grand Hall 4

ERA - Early Research Achievements + SEIP - Software Engineering in Practice + Technical Track

Dependability, Safety, and Reliability

Mon 4 Dec

Displayed time zone: Seoul change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Hall 4
APSEC Workshops
QuASoQ 2023: 11th International Workshop on Quantitative Approaches to ...
09:00 - 10:30
APSEC Workshops
QuASoQ 2023: 11th International Workshop on Quantitative Approaches to ...
11:00 - 12:30
APSEC Workshops
IWESQ 2023: 5th International Workshop on Experience with SQuaRE series ...
14:00 - 15:30
APSEC Workshops
IWESQ 2023: 5th International Workshop on Experience with SQuaRE series ...
16:00 - 17:30

Tue 5 Dec

Displayed time zone: Seoul change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Hall 4
APSEC Technical Track
Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Con ...
11:00 - 11:30
APSEC Technical Track
Effective Anomaly Detection for Microservice Systems with Real-Time Fea ...
11:30 - 12:00
APSEC ERA - Early Research Achievements
Automated Detection of Dark Patterns Using In-Context Learning Capabili ...
12:00 - 12:20
APSEC Technical Track
QoS-Aware Graph Contrastive Learning for Web Service Recommendation
14:00 - 14:30
APSEC EDU - Software Engineering Education
A Decision Tree of Bioengineering Study and Career Path for Educational ...
14:30 - 14:50
APSEC ERA - Early Research Achievements
A Machine Learning Based Approach to Detect Machine Learning Design Pat ...
14:50 - 15:10
APSEC SEIP - Software Engineering in Practice
Investigating Multi- and Many-Objective Search for Stability-Aware Conf ...
15:10 - 15:30
APSEC Technical Track
Interpreting CodeBERT for Semantic Code Clone Detection
16:00 - 16:30
APSEC SEIP - Software Engineering in Practice
A Novel Statistical Measure for Out-of-Distribution Detection in Data Q ...
16:30 - 16:50
APSEC SEIP - Software Engineering in Practice
Quality Assurance of A GPT-based Sentiment Analysis System: Adversarial ...
16:50 - 17:10
APSEC ERA - Early Research Achievements
TLDBERT: Leveraging Further Pre-trained Model for Issue Typed Links Det ...
17:10 - 17:30

Wed 6 Dec

Displayed time zone: Seoul change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Grand Hall 4
APSEC Technical Track
Formal Verification of Interrupt Isolation for the TrustZone-based TEE
11:00 - 11:30
APSEC Technical Track
A Single-sample Pruning and Clustering Method for Neural Network Verifi ...
11:30 - 12:00
APSEC ERA - Early Research Achievements
A methodology for resilient safety-critical infrastructure using stati ...
12:00 - 12:20
APSEC Technical Track
Family-based Model Checking using Probabilistic Model Checker PRISM
14:00 - 14:30
APSEC ERA - Early Research Achievements
Towards Formal Verification of Behaviour-Driven Development Scenarios u ...
14:30 - 14:50
APSEC ERA - Early Research Achievements
Towards safety assessment of robot behaviors in SMACH
14:50 - 15:10
APSEC SEIP - Software Engineering in Practice
Assessing Safety of an Automated Vehicle Through Model-driven Analysis ...
15:10 - 15:30

Thu 7 Dec

Displayed time zone: Seoul change

Room11:0015304512:00153045
Grand Hall 4
APSEC Technical Track
Assessing the Effectiveness of Vulnerability Detection via Prompt Tunin ...
11:00 - 11:30
APSEC SEIP - Software Engineering in PracticeDistinguished Award
Quality Assurance for ML Devices - A Risk-Based Approach
11:30 - 11:50
APSEC SEIP - Software Engineering in Practice
Scalable Fault Tree Analysis for Functional Safety Software
11:50 - 12:10
APSEC ERA - Early Research Achievements
ChatGPT for Vulnerability Detection, Classification, and Repair: How Fa ...
12:10 - 12:30