ISSTA 2020 (series) /
ISSTA 2020 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 18 JulDisplayed time zone: Tijuana, Baja California change
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 60mTalk | 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 60mKeynote | 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 20mDay opening | Introductions & Plans Doctoral Symposium | ||
10:20 20mDoctoral symposium paper | Feng Xue: Automated Mobile Apps Testing from Visual Perspective Doctoral Symposium | ||
10:40 20mDoctoral symposium paper | Luis Gustavo Araujo Rodriguez: Program-aware fuzzing for MQTT applications Doctoral Symposium | ||
11:00 40mKeynote | Keynote by Muneera Bano -- PhD: The transformational journey of my life Doctoral Symposium | ||
11:40 20mDoctoral symposium paper | João Choma: Using search-based meta-heuristics to support the identification of infeasible testing requirements Doctoral Symposium | ||
12:00 60mMeeting | 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 60mTalk | 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 60mTalk | 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 60mTalk | Talk by Somesh Jha (Wisconsin) Summer School | ||
Sun 19 JulDisplayed time zone: Tijuana, Baja California change
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 60mKeynote | Keynote by Lionel Briand: Artificial Intelligence for Automated Software Testing in Cyber-Physical Systems TAV-CPS/IoT | ||
10:00 30mTalk | Uncertainty Modeling and Evaluation for Dependable IoT Cloud Systems Design TAV-CPS/IoT | ||
10:30 30mTalk | Efficient Testing of Cyber-Physical Systems TAV-CPS/IoT | ||
11:00 30mTalk | Formal Verification of Discrete Event Modeling TAV-CPS/IoT | ||
11:30 60mMeeting | Panel Discussion TAV-CPS/IoT | ||
09:00 - 12:00 | |||
09:00 30mTalk | Neville Grech -- Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities WoSCA Neville Grech University of Athens, Greece | ||
09:30 30mTalk | Ákos Hajdu -- SMT-Based Effective Formalization of Reference Types in Solidity WoSCA Ákos Hajdu Budapest University of Technology and Economics | ||
10:00 30mTalk | Arthur Scott Wesley -- Verification of Parameterized Smart Contracts WoSCA | ||
10:30 15mBreak | Break WoSCA | ||
10:45 30mTalk | Gustavo Grieco -- Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts WoSCA Gustavo Grieco Trail of Bits | ||
11:15 30mTalk | Shuvendu K. Lahiri & Diego Garbervetsky -- VeriSol: Bringing Formal Verification to Solidity Smart Contract Developers WoSCA Shuvendu K. Lahiri Microsoft Research, Diego Garbervetsky University of Buenos Aires and CONICET, Argentina | ||
11:45 15mMeeting | Rump WoSCA | ||
Mon 20 JulDisplayed time zone: Tijuana, Baja California change
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 30mDay opening | Opening Keynote | ||
09:30 60mKeynote | Keynote by Prof. Barbara Liskov: Reflections on Programming Methodology Keynote | ||
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 20mTalk | 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 20mTalk | 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 20mTalk | Learning Input Tokens for Effective Fuzzing 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 | ||
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 20mTalk | 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 20mTalk | Relocatable Addressing Model for Symbolic Execution Technical Papers DOI Pre-print Media Attached | ||
12:50 20mTalk | Running Symbolic Execution Forever Technical Papers Frank Busse Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London DOI Pre-print Media Attached | ||
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 20mTalk | Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach 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 20mTalk | 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 20mTalk | 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: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 20mTalk | 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 20mTalk | 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 20mTalk | Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps 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 | ||
Tue 21 JulDisplayed time zone: Tijuana, Baja California change
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 30mAwards | Awards Keynote | ||
09:30 60mKeynote | Retrospective Impact Paper Award Keynote by Prof. Gregg Rothermel Keynote | ||
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 20mTalk | Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries Technical Papers Link to publication DOI Pre-print Media Attached | ||
11:10 20mTalk | Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models Technical Papers DOI Media Attached | ||
11:30 20mTalk | 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 | ||
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 20mTalk | 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 20mTalk | Abstracting Failure-Inducing Inputs 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 20mTalk | 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: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 20mTalk | 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 20mTalk | Scalable Analysis of Interaction Threats in IoT Systems Technical Papers Mohannad Alhanahnah , Clay Stevens University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln, USA DOI Pre-print Media Attached | ||
14:10 20mTalk | DeepSQLi: Deep Semantic Learning for Testing SQL Injection Technical Papers DOI Pre-print | ||
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 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
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 20mTalk | 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 20mTalk | Feasible and Stressful Trajectory Generation for Mobile Robots 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 20mTalk | Detecting Cache-Related Bugs in Spark Applications 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 JulDisplayed time zone: Tijuana, Baja California change
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 30mDay opening | ISSTA 2021 Preview Keynote | ||
09:30 60mKeynote | Impact Paper Award Keynote by Prof. Gordon Fraser and Prof. Andreas Zeller Keynote | ||
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 20mTalk | 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 20mTalk | Identifying Java Calls in Native Code via Binary Scanning Technical Papers George Fourtounis University of Athens, Leonidas Triantafyllou University of Athens, Yannis Smaragdakis University of Athens, Greece DOI Media Attached | ||
11:30 20mTalk | 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 | ||
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 20mTalk | How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug Injection Technical Papers DOI Media Attached | ||
12:30 20mTalk | 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 20mTalk | 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: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 20mTalk | Scalable Build Service System with Smart Scheduling Service Technical Papers DOI Media Attached | ||
13:50 20mTalk | 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 20mTalk | How Far We Have Come: Testing Decompilation Correctness of C Decompilers Technical Papers DOI Media Attached | ||
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 20mTalk | Discovering Discrepancies in Numerical Libraries 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 20mTalk | Testing High Performance Numerical Simulation Programs: Experience, Lessons Learned, and Open Issues Technical Papers DOI Media Attached | ||
15:30 20mTalk | Functional Code Clone Detection with Syntax and Semantics Fusion Learning 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 20mTalk | 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: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 7mTalk | 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 7mTalk | Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph Tool Demonstration | ||
16:44 7mTalk | 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 7mTalk | 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 7mTalk | 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 7mTalk | ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity Tool Demonstration Ali Ghanbari Iowa State University Pre-print | ||
17:12 7mTalk | 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 7mTalk | 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 7mTalk | 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 | ||