Write a Blog >>
ASE 2022
Mon 10 - Fri 14 October 2022
Oakland Center, Michigan, United States
Toggle navigation
Attending
Venue: Oakland Center, Michigan, USA
Attendee Information
Presenter Information
COVID-19 Protocol
Registration
Accommodation
Visa Letters
Travel Support
Diversity and Inclusion
Code of Conduct
Sponsorship Opportunities
Program
ASE Program
Your Program
Keynotes
Week Overview
Social Events
Awards
Mon 10 Oct
Tue 11 Oct
Wed 12 Oct
Thu 13 Oct
Fri 14 Oct
Tracks
ASE 2022
Artifact Evaluation
Doctoral Symposium
Industry Showcase
Journal-first Papers
Late Breaking Results
NIER Track
Research Papers
Student Research Competition
Student Volunteers
Tool Demonstrations
Tutorials
Workshops
[Workshop] A-Mobile '22
[Workshop] ASE4Games '22
[Workshop] AUST '22
[Workshop] AeSIR '22
[Workshop] HCSE&CS '22
[Workshop] HILT' 22
[Workshop] IWoR '22
[Workshop] JPF '22
[Workshop] VARSE '22
Diversity and Inclusion Events
Meetings
Plenary
MIP Awards
Posters
Keynotes
Organization
ASE 2022 Committees
Organizing Committee
Track Committees
Artifact Evaluation
Artifact Evaluation Chairs
Program Committee
Doctoral Symposium
Doctoral Symposium Chairs
Program Committee
Industry Showcase
Industry Showcase Chairs
Program Committee
Journal-first Papers
Journal-first Papers Chairs
Program Committee
Late Breaking Results
Late Breaking Results Chairs
Program Committee
NIER Track
NIER Track Chairs
Program Committee
Research Papers
Research Papers Chair
Program Committee
Student Research Competition
Student Research Competition Chairs
Judges
Program Committee
Student Volunteers
Tool Demonstrations
Tool Demonstrations Chairs
Program Committee
Tutorials
Tutorials Chairs
Program Committee
Workshops
Diversity and Inclusion Events
MIP Awards
Contributors
People Index
Search
Series
Series
ASE 2025
ASE 2024
ASE 2023
ASE 2022
ASE 2021
ASE 2020
ASE 2019
Past Editions
Sign in
Sign up
ASE 2022
(
series
) /
Oakland Center, Michigan, USA
/
Room information: Banquet B
Venue
Oakland Center, Michigan, USA
Room name
Banquet B
Room number
B
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 11 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 10:00
Welcome to Day 1
Plenary
/
Research Papers
/
Journal-first Papers
/
Industry Showcase
/
NIER Track
/
Keynotes
/
Doctoral Symposium
/
Late Breaking Results
/
MIP Awards
/
Tool Demonstrations
at
Banquet B
08:30
30m
Day opening
Welcome from the Chairs
Plenary
P:
Julia Rubin
University of British Columbia, Canada
,
P:
Shahar Maoz
Tel Aviv University, Israel
,
G:
Marouane Kessentini
Oakland University, USA
09:00
60m
Keynote
Autonomous Systems: How to address the Dilemma between Autonomy and Safety
Keynotes
K:
Lionel Briand
University of Luxembourg; University of Ottawa
10:30 - 12:30
Technical Session 3 - Fuzzing I
Research Papers
/
Tool Demonstrations
/
NIER Track
at
Banquet B
Chair(s):
Aravind Machiry
Purdue University
10:30
20m
Research paper
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles
Research Papers
Yang Sun
Singapore Management University, Singapore
,
Chris Poskitt
Singapore Management University
,
Jun Sun
Singapore Management University
,
Yuqi Chen
ShanghaiTech University, China
,
Zijiang Yang
Xi'an Jiaotong University and GuardStrike Inc
DOI
Pre-print
10:50
20m
Research paper
Fuzzle: Making a Puzzle for Fuzzers
ACM SIGSOFT Distinguished Paper Award
Research Papers
Haeun Lee
KAIST
,
Soomin Kim
KAIST
,
Sang Kil Cha
KAIST, South Korea
11:10
10m
Demonstration
ADEPT: A Testing Platform for Simulated Autonomous Driving
Virtual
Tool Demonstrations
Sen Wang
Nanjing University
,
Zhuheng Sheng
Nanjing University
,
Jingwei Xu
,
Taolue Chen
University of Surrey, UK
,
Junjun Zhu
Nanjing University
,
Shuhui Zhang
Nanjing University
,
Yuan Yao
Nanjing University
,
Xiaoxing Ma
Nanjing University
11:20
20m
Research paper
HTFuzz: Heap Operation Sequence Sensitive Fuzzing
Virtual
Research Papers
Yuanping Yu
Institute of Software, Chinese Academy of Sciences
,
Xiangkun Jia
Institute of Software Chinese Academy of Sciences
,
Yuwei Liu
Institute of Software, Chinese Academy of Sciences
,
Yanhao Wang
Qi An Xin Group Corp.
,
Qian Sang
Institute of Software, Chinese Academy of Sciences
,
Chao Zhang
Tsinghua University
,
Purui Su
Institute of Software/CAS China
11:40
20m
Research paper
Efficient Greybox Fuzzing to Detect Memory Errors
Virtual
ACM SIGSOFT Distinguished Paper Award
Research Papers
Jinsheng Ba
National University of Singapore
,
Gregory J. Duck
National University of Singapore
,
Abhik Roychoudhury
National University of Singapore
12:00
20m
Research paper
Griffin: Grammar-Free DBMS Fuzzing
Virtual
Research Papers
Jingzhou Fu
School of Software, Tsinghua University
,
Jie Liang
School of Software, Tsinghua University
,
Zhiyong Wu
Tsinghua University, China
,
Mingzhe Wang
Tsinghua University
,
Yu Jiang
Tsinghua University
12:20
10m
Vision and Emerging Results
A Novel Coverage-gudied Greybox Fuzzing based on Power Schedule Optimization with Time Complexity
Virtual
NIER Track
Shengran Wang
School of Computer Science and Communication Engineering, Jiangsu University
,
Jinfu Chen
Jiangsu University
,
Saihua Cai
School of Computer Science and Communication Engineering, Jiangsu University
,
Chi Zhang
Jiangsu University
,
Haibo Chen
School of Computer Science and Communication Engineering, Jiangsu University
,
Jingyi Chen
School of Computer Science and Communication Engineering, Jiangsu University
14:00 - 15:30
Technical Session 7 - Fuzzing II
Research Papers
at
Banquet B
Chair(s):
Karine Even-Mendoza
Imperial College London
14:00
20m
Research paper
So Many Fuzzers, So Little Time - Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack
Virtual
Research Papers
Clement Poncelet
Uppsala University
,
Konstantinos (Kostis) Sagonas
Uppsala University and Nat. Tech. Univ. of Athens
,
Nicolas Tsiftes
RISE Research Institutes of Sweden
DOI
Pre-print
14:20
20m
Research paper
FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures
Research Papers
Ashwin Kallingal Joshy
Iowa State University
,
Wei Le
Iowa State University
14:40
20m
Research paper
QATest: A Uniform Fuzzing Framework for Question Answering Systems
Virtual
ACM SIGSOFT Distinguished Paper Award
Research Papers
Zixi Liu
Nanjing University
,
Yang Feng
Nanjing University
,
Yining Yin
Nanjing University, China
,
Jingyu Sun
Nanjing University
,
Zhenyu Chen
Nanjing University
,
Baowen Xu
Nanjing University
15:00
20m
Research paper
Effectively Generating Vulnerable Transaction Sequences in Smart Contracts with Reinforcement Learning-guided Fuzzing
Virtual
Research Papers
Jianzhong Su
Sun Yat-sen University
,
Hong-Ning Dai
Hong Kong Baptist University
,
Lingjun Zhao
Sun Yat-sen University
,
Zibin Zheng
School of Data and Computer Science, Sun Yat-sen University
,
Xiapu Luo
Hong Kong Polytechnic University
Wed 12 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
08:00 - 09:30
Welcome to Day 2
Plenary
/
Research Papers
/
Journal-first Papers
/
Industry Showcase
/
NIER Track
/
Keynotes
/
Doctoral Symposium
/
Late Breaking Results
/
MIP Awards
/
Tool Demonstrations
at
Banquet B
Chair(s):
Myra Cohen
Iowa State University
,
Houari Sahraoui
Université de Montréal
08:00
15m
Paper
Modeling bug report quality
MIP Awards
A:
Pieter Hooimeijer
Engineering Manager, Facebook Inc.
,
A:
Westley Weimer
University of Michigan
Link to publication
DOI
08:15
15m
Paper
Towards automatically generating summary comments for Java methods
MIP Awards
A:
Giriprasad Sridhara
IBM Research Labs
,
A:
Emily Hill
Drew University
,
A:
Divya Muppaneni
,
A:
Lori Pollock
University of Delaware, USA
,
A:
K. Vijay-Shanker
Link to publication
DOI
08:30
60m
Keynote
From Automating Software Engineering to Empowering Software Developers
Keynotes
K:
Margaret-Anne Storey
University of Victoria
10:00 - 12:00
Technical Session 12 - Builds and Versions
Research Papers
at
Banquet B
Chair(s):
Yi Li
Nanyang Technological University
10:00
20m
Research paper
HyperAST: Enabling Efficient Analysis of Software Histories at Scale
ACM SIGSOFT Distinguished Paper Award
Research Papers
Quentin Le-dilavrec
Univ. Rennes, IRISA, INRIA
,
Djamel Eddine Khelladi
CNRS, France
,
Arnaud Blouin
Univ Rennes, INSA Rennes, Inria, CNRS, IRISA
,
Jean-Marc Jézéquel
Univ Rennes - IRISA
10:20
20m
Research paper
Has My Release Disobeyed Semantic Versioning? Static Detection Based On Semantic Differencing
ACM SIGSOFT Distinguished Paper Award
Research Papers
Lyuye Zhang
Nanyang Technological University
,
Chengwei Liu
Nanyang Technological University, Singapore
,
Zhengzi Xu
Nanyang Technological University
,
Sen Chen
Tianjin University
,
Lingling Fan
Nankai University
,
Bihuan Chen
Fudan University, China
,
Yang Liu
Nanyang Technological University
10:40
20m
Research paper
Detecting Build Conflicts in Software Merge for Java Programs via Static Analysis
Research Papers
Sheikh Shadab Towqir
Virginia Tech
,
Bowen Shen
Virginia Tech
,
Muhammad Ali Gulzar
Virginia Tech, USA
,
Na Meng
Virginia Tech
11:00
20m
Research paper
SmartPip: A Smart Approach to Resolving Python Dependency Conflict Issues
Virtual
Research Papers
Chao Wang
School of Informatics, Xiamen University
,
Rongxin Wu
Xiamen University
,
Haohao Song
School of Informatics, Xiamen University
,
Jiwu Shu
School of Informatics, Xiamen University
,
Guoqing Li
Xiamen Meiya Pico Information Co., Ltd.
11:20
20m
Research paper
Accelerating Build Dependency Error Detection via Virtual Build
Virtual
Research Papers
Rongxin Wu
Xiamen University
,
Minglei Chen
School of Informatics, Xiamen University
,
Chengpeng Wang
The Hong Kong University of Science and Technology
,
Gang Fan
Ant Group
,
Jiguang Qiu
Xiamen Meiya Pico Information Co., Ltd.
,
Charles Zhang
Hong Kong University of Science and Technology
11:40
20m
Research paper
BuildSonic: Detecting and Repairing Performance-Related Configuration Smells for Continuous Integration Builds
Virtual
Research Papers
Chen Zhang
Fudan University
,
Bihuan Chen
Fudan University, China
,
Junhao Hu
Fudan University
,
Xin Peng
Fudan University
,
Wenyun Zhao
Fudan University, China
13:30 - 15:30
Technical Session 15 - Compilers and Languages
Journal-first Papers
/
Research Papers
/
Industry Showcase
at
Banquet B
Chair(s):
Lingming Zhang
University of Illinois at Urbana-Champaign
13:30
20m
Research paper
Cornucopia: A Framework for Feedback Guided Generation of Binaries
Research Papers
Vidush Singhal
Purdue University
,
Akul Abhilash Pillai
Purdue University
,
Charitha Saumya
Purdue University
,
Milind Kulkarni
Purdue University
,
Aravind Machiry
Purdue University
13:50
20m
Paper
CSMITHEDGE: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively
Journal-first Papers
Karine Even-Mendoza
Imperial College London
,
Cristian Cadar
Imperial College London, UK
,
Alastair F. Donaldson
Imperial College London
14:10
20m
Research paper
Compiler Testing using Template Java Programs
ACM SIGSOFT Distinguished Paper Award
Research Papers
Zhiqiang Zang
University of Texas at Austin
,
Nathan Wiatrek
The University of Texas at Austin
,
Milos Gligoric
University of Texas at Austin
,
August Shi
University of Texas at Austin
DOI
Pre-print
14:30
20m
Industry talk
Towards Understanding the Performance of Rust
Industry Showcase
Yuchen Zhang
Stevens Institute of Technology
,
Yunhang Zhang
The University of Utah
,
Georgios Portokalidis
Stevens Institute of Technology
,
Jun Xu
The University of Utah
14:50
20m
Research paper
TransRepair: Context-aware Program Repair for Compilation Errors
Virtual
Research Papers
Xueyang Li
SKLOIS, Institute of Information Engineering, Chinese Academy of Sciences, China
,
Shangqing Liu
Nanyang Technological University
,
Ruitao Feng
Nanyang Technological University
,
Guozhu Meng
Institute of Information Engineering, Chinese Academy of Sciences
,
Xiaofei Xie
Singapore Management University, Singapore
,
Kai Chen
SKLOIS, Institute of Information Engineering, Chinese Academy of Sciences, China
,
Yang Liu
Nanyang Technological University
15:10
20m
Research paper
Enriching Compiler Testing with Real Program from Bug Report
Virtual
Research Papers
Hao Zhong
Shanghai Jiao Tong University
16:00 - 18:00
Technical Session 17 - SE for AI
Research Papers
/
Late Breaking Results
/
NIER Track
/
Tool Demonstrations
at
Banquet B
Chair(s):
Tim Menzies
North Carolina State University
16:00
10m
Vision and Emerging Results
On the Naturalness of Bytecode Instructions
NIER Track
Yoon-ho Choi
Handong Global University
,
Jaechang Nam
Handong Global University
16:10
20m
Research paper
A Light Bug Triage Framework for Applying Large Pre-trained Language Model
Research Papers
Jaehyung Lee
Pohang University of Science and Technology, Pohang
,
Hwanjo Yu
Pohang University of Science and Technology, Pohang
,
HanKisun
Samsung Research
16:30
10m
Vision and Emerging Results
Global Decision Making Over Deep Variability in Feedback-Driven Software Development
NIER Track
Jörg Kienzle
McGill University, Canada
,
Benoit Combemale
University of Rennes; Inria; IRISA
,
Gunter Mussbacher
McGill University
,
Omar Alam
Trent University
,
Francis Bordeleau
École de Technologie Supérieure (ETS)
,
Lola Burgueño
University of Malaga
,
Gregor Engels
Paderborn University
,
Jessie Galasso-Carbonnel
Université de Montréal
,
Jean-Marc Jézéquel
Univ Rennes - IRISA
,
Bettina Kemme
McGill University, Canada
,
Sébastien Mosser
McMaster University
,
Houari Sahraoui
Université de Montréal
,
Maximilian Schiedermeier
McGill University
,
Eugene Syriani
Université de Montréal
16:40
20m
Research paper
CARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applications to Microservices Architecture
ACM SIGSOFT Distinguished Paper Award
Research Papers
Vikram Nitin
Columbia University
,
Shubhi Asthana
IBM Research
,
Baishakhi Ray
Columbia University
,
Rahul Krishna
IBM Research
Pre-print
17:00
10m
Demonstration
Answering Software Deployment Questions via Neural Machine Reading at Scale
Virtual
Tool Demonstrations
Guan Jie Qiu
School of Software, Shanghai Jiao Tong University
,
Diwei Chen
School of Software, Shanghai Jiao Tong University
,
Shuai Zhang
School of Software, Shanghai Jiao Tong University
,
Yitian Chai
School of Software, Shanghai Jiao Tong University
,
Xiaodong Gu
Shanghai Jiao Tong University, China
,
Beijun Shen
School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University
17:10
20m
Research paper
PRCBERT: Prompt Learning for Requirement Classification using BERT-based Pretrained Language Models
Virtual
Research Papers
Xianchang Luo
University of Science and Technology of China
,
Yinxing Xue
University of Science and Technology of China
,
Zhenchang Xing
Australian National University
,
Jiamou Sun
Australian National University
17:30
10m
Vision and Emerging Results
Test-Driven Multi-Task Learning with Functionally Equivalent Code Transformation for Neural Code Generation
Virtual
NIER Track
Xin Wang
Wuhan University
,
Xiao Liu
School of Information Technology, Deakin University
,
Pingyi Zhou
Noah’s Ark Lab, Huawei Technologies
,
Qixia Liu
China Mobile Communications Corporation
,
Jin Liu
Wuhan University
,
Hao Wu
Yunnan University
,
Xiaohui Cui
Wuhan University
17:40
10m
Paper
Towards Using Data-Influence Methods to Detect Noisy Samples in Source Code Corpora
Virtual
Late Breaking Results
Anh T. V. Dau
FPT Software AI Center
,
Nghi D. Q. Bui
Singapore Management University
,
Thang Nguyen-Duc
FPT Software AI Center
,
Hoang Thanh-Tung
Vietnam National University
Thu 13 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
08:00 - 09:30
Welcome to Day 3
Plenary
/
Research Papers
/
Journal-first Papers
/
Industry Showcase
/
NIER Track
/
Keynotes
/
Doctoral Symposium
/
Late Breaking Results
/
MIP Awards
/
Tool Demonstrations
at
Banquet B
08:00
30m
Day opening
IEEE Harlan D. Mills Award to Prof. Matthew Dwyer
Plenary
C:
Lionel Briand
University of Luxembourg; University of Ottawa
08:30
60m
Keynote
Automated Testing as Production Simulation: Research Opportunities and Challenges
Keynotes
K:
Mark Harman
Meta Platforms, Inc. and UCL
,
K:
Inna Dvortsova
Facebook
10:00 - 12:00
Technical Session 21 - SE for AI II
Research Papers
/
Late Breaking Results
/
NIER Track
/
Journal-first Papers
at
Banquet B
Chair(s):
Andrea Stocco
Università della Svizzera italiana (USI)
10:00
20m
Research paper
DeepPerform: An Efficient Approach for Performance Testing of Resource-Constrained Neural Networks
Research Papers
Simin Chen
University of Texas at Dallas, USA
,
Mirazul Haque
UT Dallas
,
Cong Liu
University of Texas at Dallas, USA
,
Wei Yang
University of Texas at Dallas
10:20
10m
Paper
Prototyping Deep Learning Applications with Non-Experts: An Assistant Proposition
Late Breaking Results
Gustavo Rodrigues dos Reis
Rodrigues dos Reis
,
Adrian Mos
NAVER LABS Europe
,
Cyril Labbé
LIG - UGA
,
Mario Cortes Cornax
LIG - UGA
10:30
20m
Research paper
Boosting the Revealing of Detected Violations in Deep Learning Testing: A Diversity-Guided Method
Virtual
ACM SIGSOFT Distinguished Paper Award
Research Papers
Xiaoyuan Xie
School of Computer Science, Wuhan University, China
,
Pengbo Yin
School of Computer Science, Wuhan University
,
Songqiang Chen
School of Computer Science, Wuhan University
10:50
20m
Paper
Faults in Deep Reinforcement Learning Programs: A Taxonomy and A Detection Approach
Virtual
Journal-first Papers
Amin Nikanjam
École Polytechnique de Montréal
,
Mohammad Mehdi Morovati
École Polytechnique de Montréal
,
Foutse Khomh
Polytechnique Montréal
,
Houssem Ben Braiek
École Polytechnique de Montréal
Link to publication
DOI
Authorizer link
11:10
20m
Research paper
Towards Understanding the Faults of JavaScript-Based Deep Learning Systems
Virtual
Research Papers
Lili Quan
Tianjin University
,
Qianyu Guo
College of Intelligence and Computing, Tianjin University
,
Xiaofei Xie
Singapore Management University, Singapore
,
Sen Chen
Tianjin University
,
Xiaohong Li
TianJin University
,
Yang Liu
Nanyang Technological University
11:30
10m
Vision and Emerging Results
An Empirical Study on Numerical Bugs in Deep Learning Programs
Virtual
NIER Track
Gan Wang
,
Zan Wang
Tianjin University, China
,
Junjie Chen
Tianjin University
,
Xiang Chen
Nantong University
,
Ming Yan
College of Intelligence and Computing, Tianjin University
11:40
20m
Research paper
Toward Improving the Robustness of Deep Learning Models via Model Transformation
Virtual
Research Papers
Yingyi Zhang
College of Intelligence and Computing, Tianjin University
,
Zan Wang
Tianjin University, China
,
Jiajun Jiang
Tianjin University
,
Hanmo You
College of Intelligence and Computing, Tianjin University
,
Junjie Chen
Tianjin University
13:30 - 15:30
Technical Session 26 - Testing III
Research Papers
/
Industry Showcase
at
Banquet B
Chair(s):
Owolabi Legunsen
Cornell University
13:30
20m
Research paper
PredART: Towards Automatic Oracle Prediction of Object Placements in Augmented Reality Testing
Research Papers
Tahmid Rafi
University of Texas at San Antonio
,
Xueling Zhang
Rochester Institute of Technology
,
Xiaoyin Wang
University of Texas at San Antonio
13:50
20m
Research paper
Neuroevolution-Based Generation of Tests and Oracles for Games
Research Papers
Patric Feldmeier
University of Passau
,
Gordon Fraser
University of Passau
Pre-print
14:10
20m
Industry talk
WOLFFI: A fault injection platform for learning AIOps models
Industry Showcase
Frank Bagehorn
IBM Research
,
Jesus Rios
IBM Research
,
Saurabh Jha
IBM Research
,
Robert Filepp
IBM Research
,
Larisa Shwartz
IBM T.J. Watson Research
,
Naoki Abe
IBM
,
Xi Yang
IBM Research
14:30
20m
Research paper
Learning to Construct Better Mutation Faults
Virtual
ACM SIGSOFT Distinguished Paper Award
Research Papers
Zhao Tian
Tianjin University
,
Junjie Chen
Tianjin University
,
Qihao Zhu
Peking University
,
Junjie Yang
College of Intelligence and Computing, Tianjin University
,
Lingming Zhang
University of Illinois at Urbana-Champaign
DOI
Pre-print
14:50
20m
Research paper
Differentially Testing Database Transactions for Fun and Profit
Virtual
Research Papers
Ziyu Cui
Institute of Software, Chinese Academy of Sciences
,
Wensheng Dou
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Qianwang Dai
Institute of Software, Chinese Academy of Sciences
,
Jiansen Song
,
Wei Wang
,
Jun Wei
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Dan Ye
Institute of Software, Chinese Academy of Sciences
16:00 - 18:00
Technical Session 32 - Formal Methods and Models II
Tool Demonstrations
/
Journal-first Papers
/
Research Papers
at
Banquet B
Chair(s):
Khouloud Gaaloul
University of Michigan - Dearborn
16:00
10m
Demonstration
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
Tool Demonstrations
Bernd Fischer
Stellenbosch University, South Africa
,
Salvatore La Torre
Università degli Studi di Salerno
,
Gennaro Parlato
University of Molise
,
Peter Schrammel
University of Sussex and Diffblue Ltd
16:10
20m
Research paper
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Research Papers
Elias Kuiter
Otto-von-Guericke-University Magdeburg
,
Sebastian Krieter
University of Ulm
,
Chico Sundermann
University of Ulm
,
Thomas Thüm
University of Ulm
,
Gunter Saake
University of Magdeburg, Germany
16:30
20m
Paper
A three-valued model abstraction framework for PCTL* stochastic model checking
Virtual
Journal-first Papers
Yang Liu
Shanghai Maritime University/National University of Singapore
,
Yan Ma
Nanjing University of Finance and Economics / National University of Singapore
,
Yongsheng Yang
Shanghai Maritime University
File Attached
16:50
20m
Research paper
Finding and Understanding Incompleteness Bugs in SMT Solvers
Virtual
Research Papers
Mauro Bringolf
ETH Zurich
,
Dominik Winterer
ETH Zurich
,
Zhendong Su
ETH Zurich
17:10
20m
Research paper
Checking LTL Satisfiability via End-to-end Learning
Virtual
Research Papers
Weilin Luo
School of Computer Science and Engineering, Sun Yat-sen University
,
Hai Wan
School of Data and Computer Science, Sun Yat-sen University
,
Delong Zhang
SUN YAT-SEN UNIVERSITY
,
Jianfeng Du
Guangdong University of Foreign Studies
,
Hengdi Su
SUN YAT-SEN UNIVERSITY
17:30
20m
Research paper
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
Virtual
Research Papers
Yedi Zhang
ShanghaiTech University
,
Zhe Zhao
ShanghaiTech University
,
Guangke Chen
ShanghaiTech University
,
Fu Song
ShanghaiTech University
,
Min Zhang
East China Normal University
,
Taolue Chen
Birkbeck University of London
,
Jun Sun
Singapore Management University
Tue 11 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Banquet B
Plenary + Research Papers + Journal-first Papers + Industry Showcase + NIER Track + Keynotes + Doctoral Symposium + Late Breaking Results + MIP Awards + Tool Demonstrations
Welcome to Day 1
Research Papers + Tool Demonstrations + NIER Track
Technical Session 3 - Fuzzing I
Research Papers
Technical Session 7 - Fuzzing II
Wed 12 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Banquet B
Plenary + Research Papers + Journal-first Papers + Industry Showcase + NIER Track + Keynotes + Doctoral Symposium + Late Breaking Results + MIP Awards + Tool Demonstrations
Welcome to Day 2
Research Papers
Technical Session 12 - Builds and Versions
Journal-first Papers + Research Papers + Industry Showcase
Technical Session 15 - Compilers and Languages
Research Papers + Late Breaking Results + NIER Track + Tool Demonstrations
Technical Session 17 - SE for AI
Thu 13 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Banquet B
Plenary + Research Papers + Journal-first Papers + Industry Showcase + NIER Track + Keynotes + Doctoral Symposium + Late Breaking Results + MIP Awards + Tool Demonstrations
Welcome to Day 3
Research Papers + Late Breaking Results + NIER Track + Journal-first Papers
Technical Session 21 - SE for AI II
Research Papers + Industry Showcase
Technical Session 26 - Testing III
Tool Demonstrations + Journal-first Papers + Research Papers
Technical Session 32 - Formal Methods and Models II
Tue 11 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Banquet B
ASE Plenary
Welcome from the Chairs
08:30 - 09:00
ASE Keynotes
Autonomous Systems: How to address the Dilemma between Autonomy and Safety
09:00 - 10:00
ASE Research Papers
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonom ...
10:30 - 10:50
ASE Research Papers
ACM SIGSOFT Distinguished Paper Award
Fuzzle: Making a Puzzle for Fuzzers
10:50 - 11:10
ASE Tool Demonstrations
Virtual
ADEPT: A Testing Platform for Simulated Autonomous Driving
11:10 - 11:20
ASE Research Papers
Virtual
HTFuzz: Heap Operation Sequence Sensitive Fuzzing
11:20 - 11:40
ASE Research Papers
Virtual
ACM SIGSOFT Distinguished Paper Award
Efficient Greybox Fuzzing to Detect Memory Errors
11:40 - 12:00
ASE Research Papers
Virtual
Griffin: Grammar-Free DBMS Fuzzing
12:00 - 12:20
ASE NIER Track
Virtual
A Novel Coverage-gudied Greybox Fuzzing based on Power Schedule Optimiz ...
12:20 - 12:30
ASE Research Papers
Virtual
So Many Fuzzers, So Little Time - Experience from Evaluating Fuzzers on ...
14:00 - 14:20
ASE Research Papers
FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures
14:20 - 14:40
ASE Research Papers
Virtual
ACM SIGSOFT Distinguished Paper Award
QATest: A Uniform Fuzzing Framework for Question Answering Systems
14:40 - 15:00
ASE Research Papers
Virtual
Effectively Generating Vulnerable Transaction Sequences in Smart Contra ...
15:00 - 15:20
Wed 12 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Banquet B
ASE MIP Awards
Modeling bug report quality
08:00 - 08:15
ASE MIP Awards
Towards automatically generating summary comments for Java methods
08:15 - 08:30
ASE Keynotes
From Automating Software Engineering to Empowering Software Developers
08:30 - 09:30
ASE Research Papers
ACM SIGSOFT Distinguished Paper Award
HyperAST: Enabling Efficient Analysis of Software Histories at Scale
10:00 - 10:20
ASE Research Papers
ACM SIGSOFT Distinguished Paper Award
Has My Release Disobeyed Semantic Versioning? Static Detection Based On ...
10:20 - 10:40
ASE Research Papers
Detecting Build Conflicts in Software Merge for Java Programs via Stati ...
10:40 - 11:00
ASE Research Papers
Virtual
SmartPip: A Smart Approach to Resolving Python Dependency Conflict Issues
11:00 - 11:20
ASE Research Papers
Virtual
Accelerating Build Dependency Error Detection via Virtual Build
11:20 - 11:40
ASE Research Papers
Virtual
BuildSonic: Detecting and Repairing Performance-Related Configuration S ...
11:40 - 12:00
ASE Research Papers
Cornucopia: A Framework for Feedback Guided Generation of Binaries
13:30 - 13:50
ASE Journal-first Papers
CSMITHEDGE: More Effective Compiler Testing by Handling Undefined Behav ...
13:50 - 14:10
ASE Research Papers
ACM SIGSOFT Distinguished Paper Award
Compiler Testing using Template Java Programs
14:10 - 14:30
ASE Industry Showcase
Towards Understanding the Performance of Rust
14:30 - 14:50
ASE Research Papers
Virtual
TransRepair: Context-aware Program Repair for Compilation Errors
14:50 - 15:10
ASE Research Papers
Virtual
Enriching Compiler Testing with Real Program from Bug Report
15:10 - 15:30
ASE NIER Track
On the Naturalness of Bytecode Instructions
16:00 - 16:10
ASE Research Papers
A Light Bug Triage Framework for Applying Large Pre-trained Language Model
16:10 - 16:30
ASE NIER Track
Global Decision Making Over Deep Variability in Feedback-Driven Softwar ...
16:30 - 16:40
ASE Research Papers
ACM SIGSOFT Distinguished Paper Award
CARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applicati ...
16:40 - 17:00
ASE Tool Demonstrations
Virtual
Answering Software Deployment Questions via Neural Machine Reading at Scale
17:00 - 17:10
ASE Research Papers
Virtual
PRCBERT: Prompt Learning for Requirement Classification using BERT-base ...
17:10 - 17:30
ASE NIER Track
Virtual
Test-Driven Multi-Task Learning with Functionally Equivalent Code Trans ...
17:30 - 17:40
ASE Late Breaking Results
Virtual
Towards Using Data-Influence Methods to Detect Noisy Samples in Source ...
17:40 - 17:50
Thu 13 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Banquet B
ASE Plenary
IEEE Harlan D. Mills Award to Prof. Matthew Dwyer
08:00 - 08:30
ASE Keynotes
Automated Testing as Production Simulation: Research Opportunities and ...
08:30 - 09:30
ASE Research Papers
DeepPerform: An Efficient Approach for Performance Testing of Resource- ...
10:00 - 10:20
ASE Late Breaking Results
Prototyping Deep Learning Applications with Non-Experts: An Assistant P ...
10:20 - 10:30
ASE Research Papers
Virtual
ACM SIGSOFT Distinguished Paper Award
Boosting the Revealing of Detected Violations in Deep Learning Testing: ...
10:30 - 10:50
ASE Journal-first Papers
Virtual
Faults in Deep Reinforcement Learning Programs: A Taxonomy and A Detect ...
10:50 - 11:10
ASE Research Papers
Virtual
Towards Understanding the Faults of JavaScript-Based Deep Learning Systems
11:10 - 11:30
ASE NIER Track
Virtual
An Empirical Study on Numerical Bugs in Deep Learning Programs
11:30 - 11:40
ASE Research Papers
Virtual
Toward Improving the Robustness of Deep Learning Models via Model Trans ...
11:40 - 12:00
ASE Research Papers
PredART: Towards Automatic Oracle Prediction of Object Placements in Au ...
13:30 - 13:50
ASE Research Papers
Neuroevolution-Based Generation of Tests and Oracles for Games
13:50 - 14:10
ASE Industry Showcase
WOLFFI: A fault injection platform for learning AIOps models
14:10 - 14:30
ASE Research Papers
Virtual
ACM SIGSOFT Distinguished Paper Award
Learning to Construct Better Mutation Faults
14:30 - 14:50
ASE Research Papers
Virtual
Differentially Testing Database Transactions for Fun and Profit
14:50 - 15:10
ASE Tool Demonstrations
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
16:00 - 16:10
ASE Research Papers
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Mo ...
16:10 - 16:30
ASE Journal-first Papers
Virtual
A three-valued model abstraction framework for PCTL* stochastic model c ...
16:30 - 16:50
ASE Research Papers
Virtual
Finding and Understanding Incompleteness Bugs in SMT Solvers
16:50 - 17:10
ASE Research Papers
Virtual
Checking LTL Satisfiability via End-to-end Learning
17:10 - 17:30
ASE Research Papers
Virtual
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Ne ...
17:30 - 17:50
x
Tue 3 Dec 18:31