Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 18 Jul

Displayed time zone: Tijuana, Baja California change

07:40 - 08:40
Summer SchoolSummer School at Zoom 2
Chair(s): Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

07:40
60m
Talk
Talk by Nadia Alshahwan (Facebook)
Summer School

09:00 - 13:00
Doctoral SymposiumDoctoral Symposium at Zoom

Registered participants should join via the Zoom link distributed in Slack.

09:00
60m
Keynote
Keynote by Claire Le Goues -- Do what I mean, not what I say: An Introduction to Automatic Program Repair for Early-Career Researchers
Doctoral Symposium

10:00
20m
Day opening
Introductions & Plans
Doctoral Symposium

10:20
20m
Doctoral symposium paper
Feng Xue: Automated Mobile Apps Testing from Visual Perspective
Doctoral Symposium

10:40
20m
Doctoral symposium paper
Luis Gustavo Araujo Rodriguez: Program-aware fuzzing for MQTT applications
Doctoral Symposium

11:00
40m
Keynote
Keynote by Muneera Bano -- PhD: The transformational journey of my life
Doctoral Symposium

11:40
20m
Doctoral symposium paper
João Choma: Using search-based meta-heuristics to support the identification of infeasible testing requirements
Doctoral Symposium

12:00
60m
Meeting
Break-outs / Discussion & Wrap up
Doctoral Symposium

09:00 - 10:00
Summer SchoolSummer School at Zoom 2
Chair(s): Marcel Böhme Monash University, Jaco Geldenhuys University of Stellenbosch, South Africa

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

09:00
60m
Talk
Talk by Claire Le Goues (CMU)
Summer School

11:40 - 12:40
Summer SchoolSummer School at Zoom 2
Chair(s): Sarfraz Khurshid University of Texas at Austin, USA

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

11:40
60m
Talk
Talk by Alex Orso (Georgia Tech)
Summer School

13:00 - 14:00
Summer SchoolSummer School at Zoom 2
Chair(s): Milos Gligoric The University of Texas at Austin

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

13:00
60m
Talk
Talk by Somesh Jha (Wisconsin)
Summer School

Sun 19 Jul

Displayed time zone: Tijuana, Baja California change

09:00 - 12:30
TAV-CPS/IoT WorkshopTAV-CPS/IoT at Zoom

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

09:00
60m
Keynote
Keynote by Lionel Briand: Artificial Intelligence for Automated Software Testing in Cyber-Physical Systems
TAV-CPS/IoT

10:00
30m
Talk
Uncertainty Modeling and Evaluation for Dependable IoT Cloud Systems Design
TAV-CPS/IoT
Luca Berardinelli Johannes Kepler University Linz, Hong-Linh Truong Aalto University
10:30
30m
Talk
Efficient Testing of Cyber-Physical Systems
TAV-CPS/IoT
Jun Sun Singapore Management University, Zijiang Yang Western Michigan University
11:00
30m
Talk
Formal Verification of Discrete Event Modeling
TAV-CPS/IoT
Zhihao Lu Capital Normal University, Beijing, China, Rui Wang Capital Normal University, Beijing, China, Yong Guan Capital Normal University, Beijing, China
11:30
60m
Meeting
Panel Discussion
TAV-CPS/IoT

Mon 20 Jul

Displayed time zone: Tijuana, Baja California change

09:00 - 10:30
Welcome & KeynoteKeynote at Zoom
Chair(s): Sarfraz Khurshid University of Texas at Austin, USA

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

09:00
30m
Day opening
Opening
Keynote

09:30
60m
Keynote
Keynote by Prof. Barbara Liskov: Reflections on Programming Methodology
Keynote

10:30 - 10:50
Mini BreakBreak at Zoom
10:50 - 11:50
FUZZINGTechnical Papers at Zoom
Chair(s): Rody Kersten Synopsys, Inc.

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

10:50
20m
Talk
WEIZZ: Automatic Grey-Box Fuzzing for Structured Binary Formats
Technical Papers
Andrea Fioraldi Sapienza University Rome, Daniele Cono D'Elia Sapienza University of Rome, Emilio Coppa Sapienza University of Rome, Italy
DOI Pre-print Media Attached
11:10
20m
Talk
Active Fuzzing for Testing and Securing Cyber-Physical Systems
Technical Papers
Yuqi Chen Singapore Management University, Bohan Xuan , Chris Poskitt Singapore Management University, Jun Sun Singapore Management University, Fan Zhang
DOI Pre-print Media Attached
11:30
20m
Talk
Learning Input Tokens for Effective FuzzingArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Björn Mathis CISPA Helmholtz Center for Information Security, Rahul Gopinath CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication DOI
11:50 - 12:10
Mini BreakBreak at Zoom
12:10 - 13:10
SYMBOLIC EXECUTION AND CONSTRAINT SOLVINGTechnical Papers at Zoom
Chair(s): Marcelo d'Amorim Federal University of Pernambuco

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

12:10
20m
Talk
Fast Bit-Vector Satisfiability
Technical Papers
Peisen Yao HKUST, Qingkai Shi The Hong Kong University of Science and Technology, Heqing Huang , Charles Zhang The Hong Kong University of Science and Technology
DOI
12:30
20m
Talk
Relocatable Addressing Model for Symbolic Execution
Technical Papers
David Trabish Tel Aviv University, Noam Rinetzky Tel Aviv University
DOI Pre-print Media Attached
12:50
20m
Talk
Running Symbolic Execution ForeverArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Frank Busse Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London
DOI Pre-print Media Attached
13:10 - 13:30
Mini BreakBreak at Zoom
13:30 - 14:30
REPAIR AND DEBUGTechnical Papers at Zoom
Chair(s): Xuan Bach D. Le The University of Melbourne

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

13:30
20m
Talk
Can Automated Program Repair Refine Fault Localization? A Unified Debugging ApproachArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Yiling Lou Peking University, China, Ali Ghanbari Iowa State University, Xia Li Kennesaw State University, Lingming Zhang The University of Texas at Dallas, Haotian Zhang Ant Financial, Dan Hao Peking University, Lu Zhang Peking University, China
DOI Pre-print Media Attached
13:50
20m
Talk
Automated Repair of Feature Interaction Failures in Automated Driving Systems
Technical Papers
Raja Ben Abdessalem SnT Centre/University of Luxembourg, Annibale Panichella Delft University of Technology, Shiva Nejati University of Ottawa, Lionel C. Briand SnT Centre/University of Luxembourg, Thomas Stifter
DOI Pre-print
14:10
20m
Talk
CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair
Technical Papers
Thibaud Lutellier , Hung Viet Pham University of Waterloo, Lawrence Pang , Yitong Li , Moshi Wei , Lin Tan Purdue University
DOI Media Attached
14:30 - 14:50
Mini BreakBreak at Zoom
14:50 - 15:50
MOBILE APPS Technical Papers at Zoom
Chair(s): Elena Sherman Boise State University

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

14:50
20m
Talk
Detecting and Diagnosing Energy Issues for Mobile Applications
Technical Papers
Xueliang Li Shenzhen University, Yuming Yang Shenzhen University, Yepang Liu Southern University of Science and Technology, John P. Gallagher Roskilde University, Kaishun Wu Shenzhen University
DOI Media Attached
15:10
20m
Talk
Automated Classification of Actions in Bug Reports of Mobile Apps
Technical Papers
Hui Liu Beijing Institute of Technology, Mingzhu Shen Beijing Institute of Technology, Jiahao Jin , Yanjie Jiang Beijing Institute of Technology
DOI Media Attached
15:30
20m
Talk
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android AppsArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – FunctionalDistinguished Artifact
Technical Papers
Oliviero Riganelli University of Milano-Bicocca, Italy, Simone Paolo Mottadelli University of Milano-Bicocca, Claudio Rota University of Milano-Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Leonardo Mariani University of Milano Bicocca
Link to publication DOI Pre-print Media Attached
15:50 - 16:10
Mini BreakBreak at Zoom
16:10 - 17:10
MACHINE LEARNING ITechnical Papers at Zoom
Chair(s): Divya Gopinath NASA Ames (KBR Inc.)

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

16:10
20m
Talk
Reinforcement Learning Based Curiosity-Driven Testing of Android ApplicationsACM SIGSOFT Distinguished Paper Award
Technical Papers
Minxue Pan Nanjing University, An Huang , Guoxin Wang , Tian Zhang Nanjing University, Xuandong Li Nanjing University
DOI Media Attached
16:30
20m
Talk
Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection StrategyArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – FunctionalACM SIGSOFT Distinguished Paper Award
Technical Papers
Seokhyun Lee Korea University, South Korea, Sooyoung Cha Korea University, South Korea, Dain Lee , Hakjoo Oh Korea University, South Korea
DOI Media Attached
16:50
20m
Talk
DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks
Technical Papers
Yang Feng Nanjing University, Qingkai Shi The Hong Kong University of Science and Technology, Xinyu Gao , Muhammed Kerem Kahraman , Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University
DOI

Tue 21 Jul

Displayed time zone: Tijuana, Baja California change

09:00 - 10:30
Awards & KeynoteKeynote at Zoom
Chair(s): Alex Orso Georgia Institute of Technology

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

09:00
30m
Awards
Awards
Keynote

09:30
60m
Keynote
Retrospective Impact Paper Award Keynote by Prof. Gregg Rothermel
Keynote

10:30 - 10:50
Mini BreakBreak at Zoom
10:50 - 11:50
MACHINE LEARNING IITechnical Papers at Zoom
Chair(s): Baishakhi Ray Columbia University, New York

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

10:50
20m
Talk
Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning LibrariesArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Saeid Tizpaz-Niari CU Boulder/UT El Paso, Pavol Cerny TU Wien, Ashutosh Trivedi
Link to publication DOI Pre-print Media Attached
11:10
20m
Talk
Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models
Technical Papers
Arnab Sharma University of Paderborn, Heike Wehrheim Paderborn University
DOI Media Attached
11:30
20m
Talk
Detecting Flaky Tests in Probabilistic and Machine Learning Applications
Technical Papers
Saikat Dutta University of Illinois at Urbana-Champaign, USA, August Shi The University of Texas at Austin, Rutvik Choudhary , Zhekun Zhang , Aryaman Jain , Sasa Misailovic University of Illinois at Urbana-Champaign
DOI Media Attached
11:50 - 12:10
Mini BreakBreak at Zoom
12:10 - 13:10
BUG LOCALIZATION AND TEST ISOLATION Technical Papers at Zoom
Chair(s): Mattia Fazzini University of Minnesota

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

12:10
20m
Talk
Scaffle: Bug Localization on Millions of Files
Technical Papers
Michael Pradel University of Stuttgart, Vijayaraghavan Murali Facebook, Inc., Rebecca Qian Facebook, Inc., Mateusz Machalica Facebook, Inc., Erik Meijer , Satish Chandra Facebook
DOI Media Attached
12:30
20m
Talk
Abstracting Failure-Inducing InputsArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – FunctionalACM SIGSOFT Distinguished Paper Award
Technical Papers
Rahul Gopinath CISPA Helmholtz Center for Information Security, Alexander Kampmann CISPA Helmholtz Center for Information Security, Nikolas Havrikov CISPA Helmholtz Center for Information Security, Ezekiel Soremekun CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
DOI Pre-print Media Attached
12:50
20m
Talk
Debugging the Performance of Maven’s Test Isolation: Experience Report
Technical Papers
Pengyu Nie The University of Texas at Austin, Ahmet Celik Facebook, Matthew Coley , Aleksandar Milicevic , Jonathan Bell Northeastern University, Milos Gligoric The University of Texas at Austin
DOI
13:10 - 13:30
Mini BreakBreak at Zoom
13:30 - 14:30
SECURITYTechnical Papers at Zoom
Chair(s): Lucas Bang Harvey Mudd College

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

13:30
20m
Talk
Feedback-Driven Side-Channel Analysis for Networked Applications
Technical Papers
Ismet Burak Kadron University of California at Santa Barbara, Nico Rosner Amazon Web Services, Tevfik Bultan University of California, Santa Barbara
DOI
13:50
20m
Talk
Scalable Analysis of Interaction Threats in IoT SystemsACM SIGSOFT Distinguished Paper Award
Technical Papers
Mohannad Alhanahnah , Clay Stevens University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln, USA
DOI Pre-print Media Attached
14:10
20m
Talk
DeepSQLi: Deep Semantic Learning for Testing SQL Injection
Technical Papers
Muyang Liu , Ke Li University of Exeter, Tao Chen Loughborough University
DOI Pre-print
14:30 - 14:50
Mini BreakBreak at Zoom
14:50 - 15:50
REGRESSION TESTINGTechnical Papers at Zoom
Chair(s): Alex Orso Georgia Institute of Technology

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

14:50
20m
Talk
Dependent-Test-Aware Regression Testing Techniques
Technical Papers
Wing Lam University of Illinois at Urbana-Champaign, August Shi The University of Texas at Austin, Reed Oei , Sai Zhang Google Cloud, Michael D. Ernst University of Washington, USA, Tao Xie Peking University
DOI Media Attached
15:10
20m
Talk
Differential Regression Testing for REST APIs
Technical Papers
Patrice Godefroid Microsoft Research, Daniel Lehmann University of Stuttgart, Marina Polishchuk Microsoft
DOI Media Attached
15:30
20m
Talk
Empirically Revisiting and Enhancing IR-Based Test-Case Prioritization
Technical Papers
Qianyang Peng , August Shi The University of Texas at Austin, Lingming Zhang The University of Texas at Dallas
DOI
15:50 - 16:10
Mini BreakBreak at Zoom
16:10 - 17:10
CHALLENGING DOMAINSTechnical Papers at Zoom
Chair(s): Yi Li Nanyang Technological University

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

16:10
20m
Talk
Intermittently Failing Tests in the Embedded Systems Domain
Technical Papers
Per Erik Strandberg Westermo Network Technologies AB, Thomas Ostrand , Elaine Weyuker Mälardalen University, Wasif Afzal Mälardalen University, Daniel Sundmark Mälardalen University
DOI Pre-print Media Attached
16:30
20m
Talk
Feasible and Stressful Trajectory Generation for Mobile RobotsArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – FunctionalDistinguished Artifact
Technical Papers
Carl Hildebrandt University of Virginia, Sebastian Elbaum University of Virginia, USA, Nicola Bezzo University of Virginia, Matthew B Dwyer University of Virginia
DOI
16:50
20m
Talk
Detecting Cache-Related Bugs in Spark ApplicationsArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Hui Li , Dong Wang Institute of software, Chinese academy of sciences, Tianze Huang , Yu Gao Institute of Software, Chinese Academy of Sciences, China, Wensheng Dou Institute of Software, Chinese Academy of Sciences, Lijie Xu Institute of Software, Chinese Academy of Sciences, Wei Wang , Jun Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Hua Zhong
DOI

Wed 22 Jul

Displayed time zone: Tijuana, Baja California change

09:00 - 10:30
Preview & KeynoteKeynote at Zoom
Chair(s): Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

09:00
30m
Day opening
ISSTA 2021 Preview
Keynote

09:30
60m
Keynote
Impact Paper Award Keynote by Prof. Gordon Fraser and Prof. Andreas Zeller
Keynote

10:30 - 10:50
Mini BreakBreak at Zoom
10:50 - 11:50
BINARY ANALYSISTechnical Papers at Zoom
Chair(s): Junaid Haroon Siddiqui

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

10:50
20m
Talk
Patch Based Vulnerability Matching for Binary Programs
Technical Papers
Yifei Xu , Zhengzi Xu , Bihuan Chen Fudan University, Fu Song , Yang Liu Nanyang Technological University, Singapore, Ting Liu Xi'an Jiaotong University
DOI Media Attached
11:10
20m
Talk
Identifying Java Calls in Native Code via Binary ScanningArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
George Fourtounis University of Athens, Leonidas Triantafyllou University of Athens, Yannis Smaragdakis University of Athens, Greece
DOI Media Attached
11:30
20m
Talk
An Empirical Study on ARM Disassembly Tools
Technical Papers
Muhui Jiang , Yajin Zhou Zhejiang University, Xiapu Luo The Hong Kong Polytechnic University, Ruoyu Wang , Yang Liu Nanyang Technological University, Singapore, Kui Ren
DOI
11:50 - 12:10
Mini BreakBreak at Zoom
12:10 - 13:10
STATIC ANALYSIS AND SEARCH-BASED TESTINGTechnical Papers at Zoom
Chair(s): Daniel Kroening University of Oxford

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

12:10
20m
Talk
How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug InjectionArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Asem Ghaleb , Karthik Pattabiraman University of British Columbia
DOI Media Attached
12:30
20m
Talk
A Programming Model for Semi-implicit Parallelization of Static Analyses
Technical Papers
Dominik Helm TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Jan Thomas Kölzer , Philipp Haller KTH Royal Institute of Technology, Michael Eichberg TU Darmstadt, Germany, Guido Salvaneschi Technische Universität Darmstadt, Mira Mezini Technische Universität Darmstadt
DOI
12:50
20m
Talk
Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing
Technical Papers
Yun Lin National University of Singapore, Jun Sun Singapore Management University, Gordon Fraser University of Passau, Ziheng Xiu , Ting Liu Xi'an Jiaotong University, Jin Song Dong National University of Singapore
DOI Pre-print Media Attached
13:10 - 13:30
Mini BreakBreak at Zoom
13:30 - 14:30
BUILD TESTINGTechnical Papers at Zoom
Chair(s): Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

13:30
20m
Talk
Scalable Build Service System with Smart Scheduling Service
Technical Papers
DOI Media Attached
13:50
20m
Talk
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Technical Papers
Gang Fan Hong Kong University of Science and Technology, Chengpeng Wang The Hong Kong University of Science and Technology, Rongxin Wu Department of Cyber Space Security, Xiamen University, Xiao Xiao Sourcebrella Inc., Qingkai Shi The Hong Kong University of Science and Technology, Charles Zhang The Hong Kong University of Science and Technology
DOI Media Attached
14:10
20m
Talk
How Far We Have Come: Testing Decompilation Correctness of C DecompilersArtifacts Evaluated – Functional
Technical Papers
Zhibo Liu , Shuai Wang Hong Kong University of Science and Technology
DOI Media Attached
14:30 - 14:50
Mini BreakBreak at Zoom
14:50 - 16:10
NUMERICAL SOFTWARE ANALYSIS & CLONE DETECTIONTechnical Papers at Zoom
Chair(s): Darko Marinov University of Illinois at Urbana-Champaign

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

14:50
20m
Talk
Discovering Discrepancies in Numerical LibrariesArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – FunctionalDistinguished Artifact
Technical Papers
Jackson Vanover University of California, Davis, Xuan Deng University of California, Davis, Cindy Rubio-González University of California, Davis
DOI Media Attached
15:10
20m
Talk
Testing High Performance Numerical Simulation Programs: Experience, Lessons Learned, and Open Issues
Technical Papers
Xiao He University of Science and Technology Beijing, China, Xingwei Wang , Jia Shi , Yi Liu
DOI Media Attached
15:30
20m
Talk
Functional Code Clone Detection with Syntax and Semantics Fusion LearningArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Chunrong Fang Nanjing University, Zixi Liu Nanjing University, Yangyang Shi , Jeff Huang Texas A&M University, Qingkai Shi The Hong Kong University of Science and Technology
DOI Media Attached
15:50
20m
Talk
Learning to Detect Table Clones in Spreadsheets
Technical Papers
Yakun Zhang Institute of software, Chinese academy of sciences, Wensheng Dou Institute of Software, Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Liang Xu , Zhiyong Zhou Institute of Software, Chinese Academy of Sciences, Jun Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Dan Ye , Bo Yang
DOI Media Attached
16:10 - 16:30
Mini BreakBreak at Zoom
16:30 - 17:33
TOOL DEMOTool Demonstration at Zoom
Chair(s): Owolabi Legunsen Cornell University

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

16:30
7m
Talk
CPSDebug: A Tool for Failure Explanation
Tool Demonstration
Ezio Bartocci Technische Universität Wien, Niveditha Manjunath Vienna University of Technology, Leonardo Mariani University of Milano Bicocca, Cristinel Mateis AIT Austrian Institute of Technology GmbH, Dejan Nickovic Austrian Institute of Technology, Fabrizio Pastore University of Luxembourg
16:37
7m
Talk
Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph
Tool Demonstration
Chao Guo Nanjing University, Tieke He Nanjing University, Wei Yuan Nanjing University, Yue Guo Nanjing University, Rui Hao Nanjing University, China
16:44
7m
Talk
EShield: Protect Smart Contracts against Reverse Engineering
Tool Demonstration
Wentian Yan Peking University, Jianbo Gao Peking University, Zhenhao Wu Peking University and Boya Blockchain Inc, Yue Li Peking University, Zhi Guan Peking University, Qingshan Li Peking University, Zhong Chen
16:51
7m
Talk
Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts
Tool Demonstration
Gustavo Grieco Trail of Bits, Will Song Trail of Bits, Artur Cygan Trail of Bits, Josselin Feist Trail of Bits, Alex Groce Northern Arizona University
16:58
7m
Talk
FineLock: Automatically Refactoring Coarse-grained Locks into Fine-grained Locks
Tool Demonstration
Yang Zhang Hebei University of Science and Technology, Shuai Shao Hebei University of Science and Technology, Juan Zhai Rutgers University, Shiqing Ma Rutgers University, USA
17:05
7m
Talk
ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity
Tool Demonstration
Ali Ghanbari Iowa State University
Pre-print
17:12
7m
Talk
ProFL: A Fault Localization Framework for Prolog
Tool Demonstration
George Thompson North Carolina A&T State University, Allison Sullivan The University of Texas at Arlington
17:19
7m
Talk
TauJud: Test Augmentation of Machine Learning in Judicial Documents
Tool Demonstration
Zichen Guo Nanjing University, Jiawei Liu Nanjing University, Tieke He Nanjing University, Zhuoyang Li Nanjing University, Peitian Zhangzhu Nanjing University
17:26
7m
Talk
Test Recommendation System Based on Slicing Coverage Filtering
Tool Demonstration
Ruixiang Qian State Key Laboratory for Novel Software Technology, Nanjing University, Yuan Zhao State Key Laboratory for Novel Software Technology, Nanjing University, Duo Men State Key Laboratory for Novel Software Technology, Nanjing University, Yang Feng Nanjing University, Qingkai Shi The Hong Kong University of Science and Technology, Yong Huang State Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu Chen Nanjing University
DOI