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

Room information: Grand Hall 1

VenueGrand Walkerhill Seoul
Room nameGrand Hall 1
Floor-1
Capacity256
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
TutorialTutorials at Grand Hall 1
09:00
90m
Tutorial
Distributed Systems - What Every Software Engineer Should Know
Tutorials
Ian Gorton Northeastern University – Seattle, USA
11:00 - 12:30
TutorialTutorials at Grand Hall 1
11:00
90m
Tutorial
Distributed Systems - What Every Software Engineer Should Know
Tutorials
Ian Gorton Northeastern University – Seattle, USA
14:00 - 15:30
TutorialTutorials at Grand Hall 1
14:00
90m
Tutorial
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 - 16:30
TutorialTutorials at Grand Hall 1
16:00
30m
Tutorial
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,

Tue 5 Dec

Displayed time zone: Seoul change

09:00 - 09:30
Opening CeremonyAPSEC Social Events at Grand Hall 1
09:00
30m
Day 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
60m
Keynote
Translating SE Skills to AI Company Leadership
Keynotes
Sunghun Kim Hong Kong University of Science and Technology
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
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

Wed 6 Dec

Displayed time zone: Seoul change

09:30 - 10:30
KeynoteKeynotes at Grand Hall 1
Chair(s): Yunja Choi Kyungpook National University
09:30
60m
Keynote
SWEBOK Guide Evolution and Its Emerging Areas including Machine Learning Patterns
Keynotes
Hironori Washizaki Waseda University
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
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
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
45m
Talk
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
45m
Talk
From Monolith to Microservices: A Dataflow-Driven Approach
APSEC's 30th Anniversary MIPs Session
Zheng Li Queen's University Belfast, UK

Thu 7 Dec

Displayed time zone: Seoul change

09:30 - 10:30
KeynoteKeynotes at Grand Hall 1
Chair(s): Meng Yan Chongqing University
09:30
60m
Keynote
Intelligent Software Engineering – Progress and Challenges
Keynotes
Hongyu Zhang Chongqing University
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
12:30 - 13:00
Closing CeremonyAPSEC Social Events at Grand Hall 1
12:30
30m
Day closing
Closing Ceremony
APSEC Social Events

Mon 4 Dec

Displayed time zone: Seoul change

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

Tutorials

Tutorial

Tutorials

Tutorial

Tutorials

Tutorial

Tutorials

Tutorial

Tue 5 Dec

Displayed time zone: Seoul change

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

APSEC Social Events

Opening Ceremony

Keynotes

Keynote

Technical Track

Testing and Analysis (1)

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

Testing and Analysis (2)

Wed 6 Dec

Displayed time zone: Seoul change

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

Keynotes

Keynote

Technical Track

Testing and Analysis (3)

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

Testing and Analysis (4)

APSEC's 30th Anniversary MIPs Session

APSEC's 30th Anniversary MIPs Session

Thu 7 Dec

Displayed time zone: Seoul change

Room9:003010:003011:003012:0030
Grand Hall 1

Keynotes

Keynote

Technical Track

Testing and Analysis (5)

APSEC Social Events

Closing Ceremony

Mon 4 Dec

Displayed time zone: Seoul change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Grand Hall 1
APSEC Tutorials
Distributed Systems - What Every Software Engineer Should Know
09:00 - 10:30
APSEC Tutorials
Distributed Systems - What Every Software Engineer Should Know
11:00 - 12:30
APSEC Tutorials
Open Source Software Digital Sociology: Quantifying and Managing Comple ...
14:00 - 15:30
APSEC Tutorials
Open Source Software Digital Sociology: Quantifying and Managing Comple ...
16:00 - 16:30

Tue 5 Dec

Displayed time zone: Seoul change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Hall 1
APSEC Social Events
Opening Ceremony
09:00 - 09:30
APSEC Keynotes
Translating SE Skills to AI Company Leadership
09:30 - 10:30
APSEC Technical Track
Unit Test Based Component Integration Testing
11:00 - 11:30
APSEC Technical Track
On the Effectiveness of Synthetic Benchmarks for Evaluating Directed Gr ...
11:30 - 12:00
APSEC Technical Track
Test case level predictive mutation testing combining PIE and natural l ...
12:00 - 12:30
APSEC EDU - Software Engineering Education
Unit Testing Challenges with Automated Marking
16:00 - 16:20
APSEC ERA - Early Research Achievements
On mutation testing of graph database queries in the Cypher language
16:20 - 16:40
APSEC ERA - Early Research Achievements
A Pilot Study of Testing Infrastructure as Code for Cloud Systems
16:40 - 17:00
APSEC SEIP - Software Engineering in Practice
Automating Test Generation of Industrial Control Software through a PLC ...
17:00 - 17:20

Wed 6 Dec

Displayed time zone: Seoul change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Hall 1
APSEC Keynotes
SWEBOK Guide Evolution and Its Emerging Areas including Machine Learnin ...
09:30 - 10:30
APSEC Technical Track
Context-Adaptation Bugs in Micro-Clones
11:00 - 11:30
APSEC Technical Track
P-DATA: A Task-Level Parallel Framework for Dependency-Aware Value Flow ...
11:30 - 12:00
APSEC Technical Track
Improving Vulnerability Detection with Hybrid Code Graph Representation
12:00 - 12:30
APSEC ERA - Early Research Achievements
Performance Diagnosis for Microservice-based Systems via Intra-/Inter-t ...
14:00 - 14:20
APSEC ERA - Early Research Achievements
Automated Runtime Transition between Virtual and Platform Threads in th ...
14:20 - 14:40
APSEC SEIP - Software Engineering in Practice
Refining Use-after-free Defense: Eliminating Dangling Pointers in Regis ...
14:40 - 15:00
APSEC Technical Track
AMPT: Automatic Mixed-Precision Tuning Based on Accuracy Gain
15:00 - 15:30
APSEC 's 30th Anniversary MIPs Session
The Qualitas Corpus: A Curated Collection of Java Code for Empirical St ...
16:00 - 16:45
APSEC 's 30th Anniversary MIPs Session
From Monolith to Microservices: A Dataflow-Driven Approach
16:45 - 17:30

Thu 7 Dec

Displayed time zone: Seoul change

Room9:0015304510:0015304511:0015304512:00153045
Grand Hall 1
APSEC Keynotes
Intelligent Software Engineering – Progress and Challenges
09:30 - 10:30
APSEC Technical Track
Automated Simulation-based Integration Testing for Multiple PLCs in a R ...
11:00 - 11:30
APSEC Technical Track
Verifying Exception-Handling Code in Concurrent Libraries
11:30 - 12:00
APSEC Technical Track
Parameterized Search Heuristic Prediction for Concolic Execution
12:00 - 12:30
APSEC Social Events
Closing Ceremony
12:30 - 13:00