APSEC 2022
Tue 6 - Fri 9 December 2022
APSEC 2022 (series) / Online /

Room information: Room3

VenueOnline
Room nameRoom3
Room Information

Room3 is in APSEC-ROOM floor: http://apsec-room.ovice.in/ Access password is available here

Program

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

Wed 7 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

13:00 - 14:00
Model Checking 1Technical Track / ERA - Early Research Achievements at Room3
Chair(s): Hiroyuki Nakagawa Osaka University
13:00
20m
Paper
Bisection Value Iteration
Technical Track
Jia Lu East China Normal University, Ming Xu East China Normal University
13:20
20m
Paper
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours
Technical Track
Ismail Mendil INPT-ENSEEIHT/IRIT, Peter Rivière INPT-ENSEEIHT / IRIT, University of Toulouse, France, Yamine Ait Ameur IRIT/INPT-ENSEEIHT, Neeraj Singh INPT-ENSEEIHT / IRIT, University of Toulouse, France, Dominique Mery Université de Lorraine, LORIA, Philippe Palanque ICS-IRIT, Université Toulouse III Paul Sabatier
13:40
15m
Paper
Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL
ERA - Early Research Achievements
Saurabh Tiwari DA-IICT Gandhinagar, Parv Shah DA-IICT Gandhinagar, India, Eduard Paul Enoiu Mälardalen University
14:30 - 15:40
Source Code Analysis 1Technical Track at Room3
Chair(s): Yoshiki Higo Osaka University
14:30
20m
Paper
Toward a Better Alignment Between the Research and Practice of Code Search Engines
Technical Track
Yin Liu Beijing University of Technology, Shuangyi Li Virginia Tech, Eli Tilevich Virginia Tech
14:50
20m
Paper
Multi-Perspective Alignment Mechanism for Code Search
Technical Track
Shun Yang Wuhan University, Bo Cai Wuhan University
15:10
20m
Paper
Automated Generation of Bug Samples Based on Source Code Analysis
Technical Track
Tianming Zheng Shanghai Jiao Tong University, Zhixin Tong Shanghai Jiao Tong University, Yi-Ping You National Chiao Tung University, Yue Wu Shanghai Jiao Tong University

Thu 8 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

13:00 - 14:30
Bug ReportTechnical Track at Room3
Chair(s): Deron Liang National Central University
13:00
20m
Paper
Incremental Relational Topic Model for Duplicate Bug Report Detection
Technical Track
Nitsan Amit Hebrew University, Tien N. Nguyen University of Texas at Dallas
13:20
20m
Paper
Multifaceted Hierarchical Report Identification for Non-Functional Bugs in Deep Learning Frameworks
Technical Track
Guoming Long Loughborough University, Tao Chen Loughborough University, Georgina Cosma Loughborough University
13:40
20m
Paper
Automatic Generation of Metamorphic Relations for a Cyber-Physical System-of-Systems Using Genetic Algorithm
Technical Track
Esther Cho Korea Advanced Institute of Science and Technology, Yong-Jun Shin Korea Advanced Institute of Science and Technology (KAIST), Sangwon Hyun Korea Advanced Institute of Science and Technology, Hansu Kim Korea Advanced Institute of Science and Technology, Doo-Hwan Bae Korea Advanced Institute of Science and Technology
14:00
20m
Paper
An approach for hazard analysis of multiple-cooperative systems considering dynamic configuration uncertainty
Technical Track
Sejin Jung Konkuk university, Junbeom Yoo Konkuk University
15:00 - 16:30
Machine Learning 2Technical Track at Room3
Chair(s): Morakot Choetkiertikul Mahidol University, Thailand
15:00
20m
Paper
Retrieve-Guided Commit Message Generation with Semantic Similarity And Disparity
Technical Track
Zhihan Li School of Computer Science and Engineering, Central South University, Yi Cheng School of Computer Science and Engineering, Central South University, Haiyang Yang School of Computer Science and Engineering, Central South University, Li Kuang School of Computer Science and Engineering, Central South University, Lingyan Zhang School of Computer Science and Engineering, Central South University
15:20
20m
Paper
Systematic Analysis of Defect Specific Code Abstraction for Neural Program Repair
Technical Track
Kicheol Kim Sungkyunkwan University, Misoo Kim Sungkyunkwan University, Eunseok Lee Sungkyunkwan University
15:40
20m
Paper
NEGAR: Network Embedding Guided Architecture Recovery for Software Systems
Technical Track
Jiayi Chen State Key Lab for Novel Software Technology, Nanjing University, Zhixing Wang State Key Lab for Novel Software Technology, Nanjing University, yuchen jiang , Tian Zhang Nanjing University, Jun Pang University of Luxembourg, Minxue Pan Nanjing University, Nitsan Amit Hebrew University
16:00
20m
Paper
Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation
Technical Track
Jialong Li Waseda University, Japan, Mingyue Zhang Peking University, China, Zhenyu Mao Waseda University, Haiyan Zhao Peking University, Zhi Jin Peking University, Shinichi Honiden Waseda University / National Institute of Informatics, Japan, Kenji Tei Waseda University

Fri 9 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

09:20 - 10:30
TestingERA - Early Research Achievements / SEIP - Software Engineering in Practice / Technical Track at Room3
Chair(s): Jihyun Lee Jeonbuk National University
09:20
15m
Paper
On the Usefulness of Crossover in Search-Based Test Case Generation: An Industrial Report
SEIP - Software Engineering in Practice
Changze Huang Ant Group, Hailian Zhou Ant Group, Hongbing Zhao Ant Group, Wenting Cai Ant Group, Zhi Quan (George) Zhou University of Wollongong, Australia, Mingyue Jiang Zhejiang Sci-Tech University
09:35
15m
Paper
eBAT: An Efficient Automated Web Application Testing Approach Based on Tester’s Behavior
ERA - Early Research Achievements
Fuad Mridha University of Dhaka, Kazi Sakib Institute of Information Technology, University of Dhaka
09:50
20m
Paper
NumFuzz: A Floating-Point Format Aware Fuzzer for Numerical Programs
Technical Track
Chenghu Ma National University of Defense Technology, Liqian Chen National University of Defense Technology, China, Xin Yi National University of Defense Technology, Guangsheng Fan National University of Defense Technology, Ji Wang College of Computer, National University of Defense Technology
10:10
20m
Paper
Detecting High Floating-Point Errors via Ranking Analysis
Technical Track
Zheng Wang National University of Defense Technology, Xin Yi National University of Defense Technology, Hengbiao Yu National University of Defense Technology, Banghu Yin National University of Defense Technology
13:00 - 14:00
Symbolic ExecutionTechnical Track at Room3
Chair(s): Shin Hong Handong Global University
13:00
20m
Paper
Symbolic Execution of Floating-point Programs: How far are we?
Technical Track
Guofeng Zhang National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Ziqi Shuai National University of Defense Technology
13:20
20m
Paper
Optimal Refinement-based Array Constraint Solving for Symbolic Execution
Technical Track
Meixi Liu National University of Defense Technology, Changsha, China, Ziqi Shuai National University of Defense Technology, Luyao Liu National University of Defense Technology, Kelin Ma National University of Defense Technology, Ke Ma
13:40
20m
Paper
Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization
Technical Track
Guofeng Zhang National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Ziqi Shuai National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang College of Computer, National University of Defense Technology

Wed 7 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

Room13:003014:003015:0030
Room3

Technical Track + ERA - Early Research Achievements

Model Checking 1

Technical Track

Source Code Analysis 1

Thu 8 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

Room13:003014:003015:003016:0030
Room3

Technical Track

Bug Report

Technical Track

Machine Learning 2

Fri 9 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

Room9:003010:003011:003012:003013:0030
Room3

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

Testing

Technical Track

Symbolic Execution

Wed 7 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

Room13:0015304514:0015304515:00153045
Room3
APSEC Technical Track
Bisection Value Iteration
13:00 - 13:20
APSEC Technical Track
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Eve ...
13:20 - 13:40
APSEC ERA - Early Research Achievements
Combining Model-Based Testing and Automated Analysis of Behavioural Mod ...
13:40 - 13:55
APSEC Technical Track
Toward a Better Alignment Between the Research and Practice of Code Sea ...
14:30 - 14:50
APSEC Technical Track
Multi-Perspective Alignment Mechanism for Code Search
14:50 - 15:10
APSEC Technical Track
Automated Generation of Bug Samples Based on Source Code Analysis
15:10 - 15:30

Thu 8 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

Room13:0015304514:0015304515:0015304516:00153045
Room3
APSEC Technical Track
Incremental Relational Topic Model for Duplicate Bug Report Detection
13:00 - 13:20
APSEC Technical Track
Multifaceted Hierarchical Report Identification for Non-Functional Bugs ...
13:20 - 13:40
APSEC Technical Track
Automatic Generation of Metamorphic Relations for a Cyber-Physical Syst ...
13:40 - 14:00
APSEC Technical Track
An approach for hazard analysis of multiple-cooperative systems conside ...
14:00 - 14:20
APSEC Technical Track
Retrieve-Guided Commit Message Generation with Semantic Similarity And ...
15:00 - 15:20
APSEC Technical Track
Systematic Analysis of Defect Specific Code Abstraction for Neural Prog ...
15:20 - 15:40
APSEC Technical Track
NEGAR: Network Embedding Guided Architecture Recovery for Software Systems
15:40 - 16:00
APSEC Technical Track
Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcemen ...
16:00 - 16:20

Fri 9 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

Room9:0015304510:0015304511:0015304512:0015304513:00153045
Room3
APSEC SEIP - Software Engineering in Practice
On the Usefulness of Crossover in Search-Based Test Case Generation: An ...
09:20 - 09:35
APSEC ERA - Early Research Achievements
eBAT: An Efficient Automated Web Application Testing Approach Based on ...
09:35 - 09:50
APSEC Technical Track
NumFuzz: A Floating-Point Format Aware Fuzzer for Numerical Programs
09:50 - 10:10
APSEC Technical Track
Detecting High Floating-Point Errors via Ranking Analysis
10:10 - 10:30
APSEC Technical Track
Symbolic Execution of Floating-point Programs: How far are we?
13:00 - 13:20
APSEC Technical Track
Optimal Refinement-based Array Constraint Solving for Symbolic Execution
13:20 - 13:40
APSEC Technical Track
Synergizing Symbolic Execution and Fuzzing By Function-level Selective ...
13:40 - 14:00