Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Thu 12 May 2022 22:10 - 22:15 at ICSE room 4-even hours - Software Testing 10 Chair(s): Xiao Qu
Fri 13 May 2022 12:25 - 12:30 at ICSE room 2-even hours - Program Analysis 5 Chair(s): Karim Ali
Thu 26 May 2022 11:20 - 11:25 at Room 306+307 - Papers 14: Program Analysis Chair(s): Frank Tip

Chemical reaction networks (CRNs) are an emerging distributed computational paradigm where programs are encoded as a set of abstract chemical reactions. CRNs can be compiled into DNA strands which perform the computations in vitro, creating a foundation for intelligent nanodevices. Recent research proposed a software testing framework to ensure the correctness of these programs in simulation, however, it relies on existing program specifications. In practice, specifications are often lacking and when they do exist, transforming them into test cases is time-intensive and can be error prone. In this work, we propose an inference technique called ChemFlow which extracts 3 types of invariants from an existing CRN model. The extracted invariants can then be used for test generation or model validation against program implementations. We applied ChemFlow to 13 CRN programs ranging from toy examples to real biological models with hundreds of reactions. We find that the invariants provide strong fault detection and often exhibit less flakiness than specification derived tests. In the biological models we showed invariants to developers and they confirmed that many of these point to parts of the model that are biologically incorrect or incomplete suggesting we can use ChemFlow to improve model quality for existing programs.

Thu 12 May

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

22:00 - 23:00
Software Testing 10Technical Track / SEIP - Software Engineering in Practice at ICSE room 4-even hours
Chair(s): Xiao Qu ABB Corporate Research
22:00
5m
Talk
Automated Visual Testing for Mobile Apps in an Industrial Setting
SEIP - Software Engineering in Practice
Dezhi Ran Peking University, Zongyang Li Peking University, Chenxu Liu Peking University, Wenyu Wang University of Illinois Urbana-Champaign, Weizhi Meng Alibaba Group, Xionglin Wu Alibaba Group, Hui Jin Alibaba Group, Jing Cui Alibaba Group, Xing Tang Alibaba Group, Tao Xie Peking University
DOI Pre-print
22:05
5m
Talk
Use of Test Doubles in Android Testing: An In-Depth Investigation
Technical Track
Mattia Fazzini University of Minnesota, Chase Choi University of Minnesota, Juan Manuel Copia IMDEA Software Institute, Gabriel Lee University of Minnesota, Yoshiki Kakehi Georgia Institute of Technology, Alessandra Gorla IMDEA Software Institute, Alessandro Orso Georgia Tech
Pre-print Media Attached
22:10
5m
Talk
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks
Technical Track
Michael C. Gerten Iowa State University, Alexis L. Marsh Iowa State University, James I. Lathrop Iowa State University, Myra Cohen Iowa State University, Andrew S. Miner Iowa State University, Titus H. Klinge Drake University
DOI Pre-print Media Attached
22:15
5m
Talk
Controlled Concurrency Testing via Periodical Scheduling
Technical Track
Cheng Wen Xidian University, Mengda He SCEDT, Teesside University, Bohao Wu CSSE, Shenzhen University, Zhiwu Xu Shenzhen University, Shengchao Qin Huawei Hong Kong Research Centre, China
DOI Pre-print Media Attached
22:20
5m
Talk
SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External ParametersDistinguished Paper Award
Technical Track
Sooyoung Cha Sungkyunkwan University, Myungho Lee Korea University, Seokhyun Lee Korea University, South Korea, Hakjoo Oh Korea University
Pre-print Media Attached
22:25
5m
Talk
Path Transitions Tell More: Optimizing Fuzzing Schedules via Runtime Program States
Technical Track
Kunpeng Zhang Tsinghua Shenzhen International Graduate School, Tsinghua University, Xi Xiao Tsinghua Shenzhen International Graduate School, Tsinghua University, Xiaogang Zhu Swinburne University of Technology, Ruoxi Sun The University of Adelaide, Minhui (Jason) Xue University of Adelaide, Sheng Wen Swinburne University of Technology
DOI Pre-print Media Attached

Fri 13 May

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

12:00 - 13:00
12:00
5m
Talk
Guided Feature Identification and Removal for Resource-constrained Firmware
Journal-First Papers
Ryan Williams Northeastern University, Tongwei Ren Worcester Polytechnic Institute, Lorenzo De Carli Worcester Polytechnic Institute, Long Lu Northeastern University, n.n., Gillian Smith Worcester Polytechnic Institute
Link to publication Pre-print Media Attached
12:05
5m
Talk
A Static Analysis Framework for Data Science Notebooks
SEIP - Software Engineering in Practice
Pavle Subotic Microsoft Azure, Lazar Milikic Microsoft, Milan Stojic Microsoft
Pre-print Media Attached
12:10
5m
Talk
PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer AnalysisDistinguished Paper Award
Technical Track
Peiming Liu Texas A&M University, Yanze Li University of British Columbia, Bradley Swain Texas A&M University, Jeff Huang Texas A&M University
Pre-print Media Attached
12:15
5m
Talk
Characterizing and Detecting Bugs in WeChat Mini-Programs
Technical Track
Tao Wang , Qingxin Xu Institute of Software, Chinese Academy of Sciences, China, Xiaoning Chang Institute of Software, Chinese Academy of Sciences, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Jinhui Xie Tencent Inc., Yuetang Deng Tencent, Jianbo Yang Tencent Inc., Jiaheng Yang Tencent Inc., Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tao Huang Institute of Software Chinese Academy of Sciences
Pre-print Media Attached
12:20
5m
Talk
Fast and Precise Application Code Analysis using a Partial Library
Technical Track
Akshay Utture University of California, Los Angeles (UCLA), Jens Palsberg University of California at Los Angeles
DOI Pre-print Media Attached
12:25
5m
Talk
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks
Technical Track
Michael C. Gerten Iowa State University, Alexis L. Marsh Iowa State University, James I. Lathrop Iowa State University, Myra Cohen Iowa State University, Andrew S. Miner Iowa State University, Titus H. Klinge Drake University
DOI Pre-print Media Attached

Thu 26 May

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

11:00 - 12:30
Papers 14: Program AnalysisTechnical Track / SEIP - Software Engineering in Practice / Journal-First Papers at Room 306+307
Chair(s): Frank Tip Northeastern University
11:00
5m
Talk
Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for PythonNominated for Distinguished Paper
Technical Track
Yun Peng The Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Zongjie Li The Hong Kong University of Science and Technology, Bowei Gao Harbin Institute of Technology, Shenzhen, David Lo Singapore Management University, Qirun Zhang Georgia Institute of Technology, USA, Michael Lyu The Chinese University of Hong Kong
DOI Pre-print Media Attached
11:05
5m
Talk
TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses
Journal-First Papers
Linghui Luo Amazon Web Services, Felix Pauck Paderborn University, Germany, Goran Piskachev Fraunhofer IEM, Manuel Benz Paderborn University, Ivan Pashchenko University of Trento, Martin Mory Paderborn University, Eric Bodden , Ben Hermann Technical University Dortmund, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam
Link to publication DOI Pre-print Media Attached File Attached
11:10
5m
Talk
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
SEIP - Software Engineering in Practice
Saikat Dutta University of Illinois at Urbana-Champaign, Diego Garbervetsky University of Buenos Aires and CONICET, Argentina, Shuvendu K. Lahiri Microsoft Research, Max Schaefer GitHub, Inc.
DOI Pre-print Media Attached
11:15
5m
Talk
DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs
Technical Track
Mohammad Wardat Dept. of Computer Science, Iowa State University, Breno Dantas Cruz Dept. of Computer Science, Iowa State University, Wei Le Iowa State University, Hridesh Rajan Iowa State University
Pre-print Media Attached
11:20
5m
Talk
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks
Technical Track
Michael C. Gerten Iowa State University, Alexis L. Marsh Iowa State University, James I. Lathrop Iowa State University, Myra Cohen Iowa State University, Andrew S. Miner Iowa State University, Titus H. Klinge Drake University
DOI Pre-print Media Attached
11:25
5m
Talk
PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer AnalysisDistinguished Paper Award
Technical Track
Peiming Liu Texas A&M University, Yanze Li University of British Columbia, Bradley Swain Texas A&M University, Jeff Huang Texas A&M University
Pre-print Media Attached
11:30
5m
Talk
Fast and Precise Application Code Analysis using a Partial Library
Technical Track
Akshay Utture University of California, Los Angeles (UCLA), Jens Palsberg University of California at Los Angeles
DOI Pre-print Media Attached

Information for Participants
Thu 12 May 2022 22:00 - 23:00 at ICSE room 4-even hours - Software Testing 10 Chair(s): Xiao Qu
Info for room ICSE room 4-even hours:

Click here to go to the room on Midspace

Fri 13 May 2022 12:00 - 13:00 at ICSE room 2-even hours - Program Analysis 5 Chair(s): Karim Ali
Info for room ICSE room 2-even hours:

Click here to go to the room on Midspace