SE4RAI 2022
Sat 21 - Sun 29 May 2022
co-located with ICSE 2022
VenueMidspace
Room nameICSE Demo room 1
Room InformationNo extra information available

Information for Participants
Info for room ICSE Demo room 1:

Click here to go to the room on Midspace

Program

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

Mon 9 May

Displayed time zone: Eastern Time (US & Canada) change

20:00 - 21:00
Dynamic AnalysisICSE DEMO - Demonstrations at ICSE Demo room 1
Chair(s): Shiyi Wei University of Texas at Dallas
20:00
15m
Demonstration
Common Data Guided Crash Injection for Cloud Systems
ICSE DEMO - Demonstrations
Yu Gao Institute of Software, Chinese Academy of Sciences, China, Dong Wang Institute of software, Chinese academy of sciences, Qianwang Dai Institute of Software, Chinese Academy of Sciences, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
Pre-print Media Attached
20:15
15m
Demonstration
Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs
ICSE DEMO - Demonstrations
Didier Ishimwe University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University, KimHao Nguyen University of Nebraska-Lincoln
Pre-print Media Attached
20:30
15m
Demonstration
DistFax: A Toolkit for Measuring Interprocess Communications and Quality of Distributed Systems
ICSE DEMO - Demonstrations
Xiaoqin Fu Washington State University, Boxiang Lin Washington State University, Haipeng Cai Washington State University, USA
DOI Pre-print Media Attached

Tue 10 May

Displayed time zone: Eastern Time (US & Canada) change

04:00 - 05:00
Software Testing 1ICSE DEMO - Demonstrations at ICSE Demo room 1
Chair(s): Jifeng Xuan Wuhan University
04:00
15m
Demonstration
GIFdroid: An Automated Light-weight Tool for Replaying Visual Bug Reports
ICSE DEMO - Demonstrations
Sidong Feng Monash University, Chunyang Chen Monash University
DOI Pre-print Media Attached
04:15
15m
Demonstration
TauLiM: Test Data Augmentation of LiDAR Point Cloud by Metamorphic Relation
ICSE DEMO - Demonstrations
Ju Lin Nanjing University, Jiawei Liu Nanjing University, Quanjun Zhang Nanjing University, Xufan Zhang Nanjing University, Chunrong Fang Nanjing University
04:30
15m
Demonstration
ReGVD: Revisiting Graph Neural Networks for Vulnerability Detection
ICSE DEMO - Demonstrations
Van-Anh Nguyen VNU - University of Science, Vietnam, Dai Quoc Nguyen Oracle Labs, Australia, Van Nguyen Monash University, Australia, Trung Le Monash University, Australia, Quan Hung Tran Adobe Research, San Jose, CA, USA, Dinh Phung Monash University, Australia
Pre-print Media Attached
04:45
15m
Demonstration
META: Multidimensional Evaluation of Testing Ability
ICSE DEMO - Demonstrations
Tianqi Zhou Nanjing University, Jiawei Liu Nanjing University, Yifan Wang Shenzhen Research Institute of Nanjing University, Zhenyu Chen Nanjing University
11:00 - 12:00
Validation and VerificationICSE DEMO - Demonstrations at ICSE Demo room 1
Chair(s): Allison Sullivan The University of Texas at Arlington
11:00
15m
Demonstration
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts
ICSE DEMO - Demonstrations
Kunjian Song The University of Manchester, Nedas Matulevicius University of Manchester, UK, Eddie Lima Samsung Electronics, Brazil, Lucas C. Cordeiro University of Manchester
Pre-print Media Attached
11:15
15m
Demonstration
DScribe: Co-generating Unit Tests and Documentation
ICSE DEMO - Demonstrations
Alexa Hernandez McGill University, Mathieu Nassif McGill University, Martin P. Robillard McGill University
Link to publication Pre-print Media Attached
11:30
15m
Demonstration
SymInfer: Inferring Numerical Invariants using Symbolic States
ICSE DEMO - Demonstrations
ThanhVu Nguyen George Mason University, KimHao Nguyen University of Nebraska-Lincoln, Hai Duong Independent Researcher
20:00 - 21:00
Mobile ApplicationsICSE DEMO - Demonstrations at ICSE Demo room 1
Chair(s): Yiling Lou Purdue University
20:00
15m
Demonstration
ACID: An API Compatibility Issue Detector for Android Apps
ICSE DEMO - Demonstrations
Tarek Mahmud Texas State University, Meiru Che Concordia University Texas, Guowei Yang The University of Queensland
Media Attached
20:15
15m
Demonstration
ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android Applications
ICSE DEMO - Demonstrations
Jiwei Yan Institute of Software at Chinese Academy of Sciences, China, Shixin Zhang Beijing Jiaotong University, China, Yepang Liu Southern University of Science and Technology, Jun Yan Institute of Software at Chinese Academy of Sciences, China, Jian Zhang Institute of Software at Chinese Academy of Sciences, China
DOI Pre-print Media Attached
20:30
15m
Demonstration
UIPDroid: Unrooted Dynamic Monitor of Android App UIs for Fine-Grained Permission Control
ICSE DEMO - Demonstrations
Mulin Duan Singapore Management University, Lingxiao Jiang Singapore Management University, Lwin Khin Shar Singapore Management University, Debin Gao Singapore Management University
Pre-print Media Attached

Wed 11 May

Displayed time zone: Eastern Time (US & Canada) change

04:00 - 05:00
Software Testing 2ICSE DEMO - Demonstrations at ICSE Demo room 1
Chair(s): Jiajun Jiang Tianjin University
04:00
15m
Demonstration
QuSBT: Search-Based Testing of Quantum Programs
ICSE DEMO - Demonstrations
Xinyi Wang Nanjing University of Aeronautics and Astronautics, Paolo Arcaini National Institute of Informatics , Tao Yue Simula Research Laboratory, Norway, Shaukat Ali Simula Research Laboratory, Norway
DOI Pre-print Media Attached
04:15
15m
Demonstration
MASS: A tool for Mutation Analysis for Space CPS
ICSE DEMO - Demonstrations
Oscar Cornejo SnT Centre, University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa
Pre-print Media Attached
04:30
15m
Demonstration
TestKnight: An Interactive Assistant to Stimulate Test Engineering
ICSE DEMO - Demonstrations
Cristian-Alexandru Botocan Delft University of Technology, Piyush Deshmukh Delft University of Technology, Pavlos Makridis Delft University of Technology, Jorge Romeu Huidobro Delft University of Technology, Mathanrajan Sundarrajan Delft University of Technology, Maurício Aniche Delft University of Technology, Andy Zaidman Delft University of Technology
Pre-print Media Attached
04:45
15m
Demonstration
FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage Analyzer
ICSE DEMO - Demonstrations
Stephan Lipp Technical University of Munich, Daniel Elsner TU Munich, Thomas Hutzelmann Technical University of Munich, Sebastian Banescu Technical University of Munich, Alexander Pretschner TU Munich, Marcel Böhme MPI-SP, Germany and Monash University, Australia
DOI Pre-print Media Attached
11:00 - 12:00
Program ComprehensionICSE DEMO - Demonstrations at ICSE Demo room 1
Chair(s): Xiaoyin Wang University of Texas at San Antonio
11:00
15m
Demonstration
CIDER: Concept-based Interactive Design Recovery
ICSE DEMO - Demonstrations
Hongzhou Fang Drexel University, Yuanfang Cai Drexel University, Rick Kazman University of Hawai‘i at Mānoa, Jason Lefever Drexel University
11:15
15m
Demonstration
NaturalCC: An Open-Source Toolkit for Code Intelligence
ICSE DEMO - Demonstrations
Yao Wan Huazhong University of Science and Technology, Yang He University of Technology Sydney, Zhangqian Bi Huazhong University of Science and Technology, Jian-Guo Zhang University of Illinois at Chicago, Yulei Sui University of Technology Sydney, Hongyu Zhang University of Newcastle, Kazuma Hashimoto Google Research, Hai Jin Huazhong University of Science and Technology, Guandong Xu University of Technology, Sydney, Caiming Xiong Salesforce Research, philip yu University of Illinois at Chicago
Media Attached
11:30
15m
Demonstration
COSPEX: A Program Comprehension Tool for Novice Programmers
ICSE DEMO - Demonstrations
Nakshatra Gupta Indian Institute of Technology Tirupati, Ashutosh Rajput Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati
Pre-print Media Attached
11:45
15m
Demonstration
A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest
ICSE DEMO - Demonstrations
Yiming Tang Concordia University, Allan Spektor City University of New York (CUNY) Hunter College, Raffi Khatchadourian City University of New York (CUNY) Hunter College, Mehdi Bagherzadeh Oakland University
Pre-print Media Attached
20:00 - 21:00
Mining Software RepositoriesICSE DEMO - Demonstrations at ICSE Demo room 1
Chair(s): Xiao Qu ABB Corporate Research
20:00
15m
Demonstration
ARSearch: Searching for API Related Resources from Stack Overflow and GitHub
ICSE DEMO - Demonstrations
Kien Luong School of Computing and Information Systems, Singapore Management University, Ferdian Thung Singapore Management University, David Lo Singapore Management University
Media Attached
20:15
15m
Demonstration
gDefect4DL: A Dataset of General Real-World Deep Learning Program Defects
ICSE DEMO - Demonstrations
Yunkai Liang Tianjin University, Yun Lin National University of Singapore, Xuezhi Song Fudan University, Jun Sun Singapore Management University, Zhiyong Feng Tianjin University, Jin Song Dong National University of Singapore
Pre-print Media Attached
20:30
15m
Demonstration
Code Implementation Recommendation for Android GUI Components
ICSE DEMO - Demonstrations
Yanjie Zhao Monash University, Li Li Monash University, Xiaoyu Sun Monash University, Pei Liu Monash University, John Grundy Monash University
Pre-print Media Attached

Thu 12 May

Displayed time zone: Eastern Time (US & Canada) change

04:00 - 05:00
Android and Web ApplicationsICSE DEMO - Demonstrations at ICSE Demo room 1
Chair(s): Guowei Yang The University of Queensland
04:00
15m
Demonstration
Gallery D.C.: Auto-created GUI Component Gallery for Design Search and Knowledge Discovery
ICSE DEMO - Demonstrations
Sidong Feng Monash University, Chunyang Chen Monash University, Zhenchang Xing Australian National University
DOI Pre-print Media Attached
04:15
15m
Demonstration
Proactive Libraries: Enforcing Correct Behaviors in Android Apps
ICSE DEMO - Demonstrations
Oliviero Riganelli University of Milano - Bicocca, Ionut Daniel Fagadau University of Milano - Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Leonardo Mariani University of Milano-Bicocca
DOI Pre-print Media Attached
04:30
15m
Demonstration
NaviDroid: A Tool for Guiding Manual Android Testing via Hint Moves
ICSE DEMO - Demonstrations
Zhe Liu Institute of Software, Chinese Academy of Sciences, Chunyang Chen Monash University, Junjie Wang Institute of Software at Chinese Academy of Sciences, Yuhui Su Institute of Software at Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences
11:00 - 12:00
Software Testing 3ICSE DEMO - Demonstrations at ICSE Demo room 1
Chair(s): Wei Yang University of Texas at Dallas
11:00
15m
Demonstration
DiffWatch: Watch Out for the Evolving Differential Testing in Deep Learning Libraries
ICSE DEMO - Demonstrations
Alexander Prochnow Osnabrueck University, Jinqiu Yang Concordia University
Pre-print Media Attached
11:15
15m
Demonstration
VRTest: An Extensible Framework for Automatic Testing of Virtual Reality Scenes
ICSE DEMO - Demonstrations
Xiaoyin Wang University of Texas at San Antonio
Pre-print Media Attached
11:30
15m
Demonstration
SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts
ICSE DEMO - Demonstrations
Mitchell Olsthoorn Delft University of Technology, Dimitri Stallenberg Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Annibale Panichella Delft University of Technology
DOI Pre-print Media Attached
20:00 - 21:00
Software Testing 4ICSE DEMO - Demonstrations at ICSE Demo room 1
Chair(s): August Shi University of Texas at Austin
20:00
15m
Demonstration
JMocker: Refactoring Test-Production Inheritance by Mockito
ICSE DEMO - Demonstrations
Xiao Wang Stevens Institute of Technology, Lu Xiao Stevens Institute of Technology, Tingting Yu University of Cincinnati, Anne Woepse Analytical Graphics, Sunny Wong Envestnet
Link to publication DOI Media Attached
20:15
15m
Demonstration
A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation
ICSE DEMO - Demonstrations
Zhe Chen Nanjing University of Aeronautics and Astronautics, Jun Wu Nanjing University of Aeronautics and Astronautics, China, Qi Zhang Nanjing University of Aeronautics and Astronautics, China, Jingling Xue UNSW Sydney
Link to publication DOI Pre-print Media Attached
20:30
15m
Demonstration
iPFlakies: A Framework for Detecting and Fixing Python Order-Dependent Flaky Tests
ICSE DEMO - Demonstrations
Ruixin Wang Zhejiang University, Yang Chen Huazhong University of Science and Technology, Wing Lam University of Illinois at Urbana-Champaign
Pre-print Media Attached

Fri 13 May

Displayed time zone: Eastern Time (US & Canada) change

03:00 - 04:00
Machine Learning with and for SEICSE DEMO - Demonstrations at ICSE Demo room 1
Chair(s): Xiaoyuan Xie School of Computer Science, Wuhan University, China
03:00
15m
Demonstration
HUDD: A tool to debug DNNs for safety analysis
ICSE DEMO - Demonstrations
Hazem FAHMY University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa
Pre-print Media Attached
03:15
15m
Demonstration
WhyGen: Explaining ML-powered Code Generation by Referring to Training Examples
ICSE DEMO - Demonstrations
Weixiang Yan Beijing University of Posts and Telecommunications, Yuanchun Li Microsoft Research
DOI Pre-print Media Attached
03:30
15m
Demonstration
SEbox4DL: A Modular Software Engineering Toolbox for Deep Learning Models
ICSE DEMO - Demonstrations
Zhengyuan Wei City University of Hong Kong, Hong Kong, Haipeng Wang City University of Hong Kong, Zhen Yang City University of Hong Kong, China, Wing-Kwong Chan City University of Hong Kong, Hong Kong
11:00 - 12:00
Tools and Environments 3ICSE DEMO - Demonstrations at ICSE Demo room 1
Chair(s): Wing Lam University of Illinois at Urbana-Champaign
11:00
15m
Demonstration
PyKokkos: Performance Portable Kernels in Python
ICSE DEMO - Demonstrations
Nader Al Awar The University of Texas at Austin, Neil Mehta NERSC, Lawrence Berkeley National Laboratory, Steven Zhu The University of Texas at Austin, George Biros The University of Texas at Austin, Milos Gligoric University of Texas at Austin
Pre-print Media Attached
11:15
15m
Demonstration
Gamekins: Gamifying Software Testing in Jenkins
ICSE DEMO - Demonstrations
Philipp Straubinger University of Passau, Gordon Fraser University of Passau
DOI Pre-print Media Attached
11:30
15m
Demonstration
Fairkit-learn: A fairness evaluation and comparison toolkit
ICSE DEMO - Demonstrations
Brittany Johnson George Mason University, Yuriy Brun University of Massachusetts
Link to publication DOI Pre-print Media Attached
11:45
15m
Demonstration
Synthia: a Generic and Flexible Data Structure Generator
ICSE DEMO - Demonstrations
Marc-Antoine Plourde Université du Québec à Chicoutimi, Sylvain Hallé Université du Québec à Chicoutimi
DOI Pre-print Media Attached

Mon 9 May

Displayed time zone: Eastern Time (US & Canada) change

Tue 10 May

Displayed time zone: Eastern Time (US & Canada) change

Room4:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
ICSE Demo room 1

Wed 11 May

Displayed time zone: Eastern Time (US & Canada) change

Room4:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
ICSE Demo room 1

Thu 12 May

Displayed time zone: Eastern Time (US & Canada) change

Room4:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
ICSE Demo room 1

Fri 13 May

Displayed time zone: Eastern Time (US & Canada) change