ECOOP and ISSTA 2021 (series) / ISSTA 2021 (series) /
ISSTA 2021 Program
This is the ISSTA 2021 program - see the full program for ECOOP and ISSTA 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 11 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Sun 11 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
11:00 - 13:00 | |||
11:00 2hTalk | Ubiquitous Omniscient Debugging REBASE Robert O'Callahan Pernosco | ||
13:00 - 15:00 | Session 2REBASE at Rebase Chair(s): Alexandre Bergel University of Chile, Oscar Nierstrasz University of Bern, Switzerland | ||
13:00 2hTalk | Molding Knowledge REBASE Tudor Gîrba feenk.com | ||
15:00 - 17:00 | |||
15:00 2hTalk | Students can't test. Or can they? REBASE John Wrenn Brown University | ||
17:00 - 19:00 | Session 4REBASE at Rebase Chair(s): Manuel Chakravarty Tweag & IOHK, Andreas Rossberg Dfinity Stiftung | ||
17:00 2hTalk | The Move language for the Diem Blockchain REBASE Shaz Qadeer Facebook | ||
19:00 - 21:00 | |||
19:00 2hTalk | AA - Yet Another New Language REBASE Cliff Click me | ||
21:00 - 23:00 | |||
21:00 2hTalk | Variational Calculus for Dummies REBASE | ||
Mon 12 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Mon 12 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
10:30 - 11:50 | |||
10:30 40mKeynote | Increasing Confidence in Autonomous Systems VORTEX File Attached | ||
11:10 20mTalk | Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents VORTEX Filippo Ricca DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy, Alessandro Verri File Attached | ||
11:30 20mTalk | RVPLAN: A General Purpose Framework for Replanning using Runtime Verification VORTEX File Attached | ||
13:30 - 14:50 | |||
13:30 40mKeynote | The E-ACSL Perspective on Runtime Assertion Checking VORTEX Julien Signoles CEA LIST File Attached | ||
14:10 20mTalk | Towards Aggregate Monitoring of Spatio-temporal Properties VORTEX File Attached | ||
14:30 20mTalk | RM for Users’ Safety and Security in the Built Environment VORTEX Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Giuseppe Di Giuda , Silvia Meschini , Laura Pellegrini , Elena Seghezzi , Lavinia Chiara Tagliabue , Lorenzo Testa , Gianluca Torta File Attached | ||
15:30 - 16:50 | |||
15:30 40mKeynote | Synchronous and Asynchronous Stream Runtime Verification VORTEX File Attached | ||
16:10 20mTalk | Optional Monitoring for Long-Lived Transactions VORTEX File Attached | ||
16:30 20mTalk | Runtime Verification for Trustworthy Secure Shell Deployment VORTEX File Attached | ||
17:00 - 18:30 | |||
17:00 90mTalk | Who is Afraid of the Turnstile? ECOOP and ISSTA Summer School Media Attached | ||
19:00 - 20:30 | Summer SchoolECOOP and ISSTA Summer School at Summer School Chair(s): Frank Tip Northeastern University | ||
19:00 90mTalk | Let me fix that for you: An Overview of Automated Program Repair ECOOP and ISSTA Summer School Media Attached | ||
21:00 - 22:30 | |||
21:00 90mTalk | FanSASTic! The magic behind Static Application Security Testing ECOOP and ISSTA Summer School Link to publication Media Attached | ||
Tue 13 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 13 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
00:00 - 01:30 | Summer SchoolECOOP and ISSTA Summer School at Summer School Chair(s): Frank Tip Northeastern University | ||
00:00 90mTalk | Foundations of Software Testing ECOOP and ISSTA Summer School Media Attached | ||
02:00 - 03:30 | Summer SchoolECOOP and ISSTA Summer School at Summer School Chair(s): Frank Tip Northeastern University | ||
02:00 90mTalk | Machine Learning for Developer Productivity ECOOP and ISSTA Summer School | ||
08:00 - 09:30 | |||
08:00 90mTalk | Who is Afraid of the Turnstile? ECOOP and ISSTA Summer School Media Attached | ||
10:00 - 11:30 | |||
10:00 90mTalk | FanSASTic! The magic behind Static Application Security Testing ECOOP and ISSTA Summer School Link to publication Media Attached | ||
13:00 - 17:30 | |||
13:00 5mOther | Welcome ICOOOLPS | ||
13:05 25mTalk | The Two Cultures of Language ImplementationInvited Talk ICOOOLPS Stephen Kell King's College London | ||
13:30 20mPaper | Naïve Transient Cast Insertion Isn’t (That) BadPaper ICOOOLPS P: Erin Greenwood-Thessman Victoria University of Wellington, Isaac Oscar Gariano Victoria University of Wellington, Richard Roberts Victoria University of Wellington, Stefan Marr University of Kent, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington DOI Pre-print | ||
13:50 20mTalk | Threaded Code Generation with a Meta-tracing JIT CompilerPosition Paper ICOOOLPS P: Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, CF Bolz-Tereick , Youyou Cong Tokyo Institute of Technology Pre-print | ||
14:10 10mSocial Event | Break ICOOOLPS | ||
14:20 20mTalk | Avoiding Monomorphisation Bottlenecks with Phase-based Splitting ICOOOLPS P: Sophie Kaleba University of Kent, Stefan Marr University of Kent, Richard Jones University of Kent Pre-print | ||
14:40 20mTalk | Native Implementation of Mutable Value SemanticsPosition Paper ICOOOLPS P: Dimi Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dave Abrahams Google, Dan Zheng Purdue University, Google Brain, Brennan Saeta Google Pre-print | ||
15:00 20mTalk | An Eclipse OMR-based Garbage Collector for Python ICOOOLPS P: Joannah Nanjekye University of New Brunswick, David Bremner University of New Brunswick, Aleksandar Micic IBM, Canada | ||
15:20 20mSocial Event | Break ICOOOLPS | ||
15:40 20mTalk | Userfault Objects: Transparent Programmable MemoryPosition Paper ICOOOLPS Pre-print | ||
16:00 20mTalk | The Strange and Wondrous Life of Functions in Ř ICOOOLPS Jan Ječmen , Olivier Flückiger Northeastern University, Sebastián Krynski Czech Technical University in Prague, P: Jan Vitek Northeastern University / Czech Technical University File Attached | ||
16:20 20mTalk | Non-Intrusive Migration from Lazy to Eager Evaluation ICOOOLPS P: Aviral Goel Northeastern University, Jan Vitek Northeastern University / Czech Technical University | ||
16:40 10mSocial Event | Break ICOOOLPS | ||
16:50 20mTalk | A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications ICOOOLPS P: Kyle Liang Carnegie Mellon University, Reese Grimsley CMU, Eve Hu CMU, Edward Andert Arizona State University, Mohammad Khayatian Arizona State University, Aviral Shrivastava Arizona State University, Carlee Joe-Wong CMU, Jonathan Aldrich Carnegie Mellon University, Bob Iannucci CMU | ||
17:10 20mTalk | Fuel: A Compiler Framework for Safe Memory ManagementPosition Paper ICOOOLPS Dimi Racordon University of Geneva, Switzerland, P: Aurélien Coet University of Geneva, Switzerland, Didier Buchs University of Geneva, Switzerland Pre-print | ||
14:00 - 14:15 | |||
14:00 3mTalk | Welcome Talk ECOOP and ISSTA Doctoral Symposium | ||
14:00 - 16:35 | |||
14:00 5mTalk | Welcome FTfJP | ||
14:05 30mTalk | Refactoring traces to identify concurrency improvements FTfJP | ||
14:35 30mTalk | A Generic Type System for Featherweight Java FTfJP | ||
15:05 30mTalk | Source code patches from dynamic analysis FTfJP | ||
15:35 30mTalk | Reconstructing Z3 Proofs in KeY: There and Back Again FTfJP P: Wolfram Pfeifer Karlsruhe Institute of Technology (KIT), Jonas Schiffl , Mattias Ulbrich Karlsruhe Institute of Technology File Attached | ||
16:05 30mTalk | Using Dafny to Solve the VerifyThis 2021 Challenges FTfJP P: Marie Farrell University of Liverpool, Rosemary Monahan National University of Ireland, A: Conor Reynolds Maynooth University | ||
14:15 - 15:15 | |||
14:15 60mTalk | Keynote ECOOP and ISSTA Doctoral Symposium Media Attached | ||
15:30 - 17:30 | Student Presentations Session 1ECOOP and ISSTA Doctoral Symposium at Doctoral Symposium Chair(s): Eric Bodden University of Paderborn; Fraunhofer IEM Panel Members: Myra Cohen, Iowa State University, USA | ||
15:30 30mTalk | Robustness Evaluation of Deep Learning System Based on Dempster-Shafer Theory (Junior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
16:00 30mTalk | JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation) ECOOP and ISSTA Doctoral Symposium Jihyeok Park KAIST | ||
16:30 30mTalk | AFS: Smart Contract Vulnerability Detection using Code Representation Fusion (Junior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
17:00 30mTalk | Probability Adaptive Random Testing by Particle Swarm Optimization (Junior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
16:50 - 18:50 | |||
16:50 30mTalk | IntelliJML: A JML plugin for IntelliJ IDEA FTfJP P: Steven Monteiro University of Twente, P: Erikas Sokolovas University of Twente, The Netherlands, P: Ellen Wittingen University of Twente, Tom van Dijk University of Twente, Marieke Huisman University of Twente File Attached | ||
17:20 30mTalk | Ensuring correct cryptographic algorithm and provider usage at compile time FTfJP P: Weitian Xing University of Waterloo, Yuanhui Cheng University of Waterloo, Werner Dietl University of Waterloo Media Attached | ||
17:50 30mTalk | Behavioural Separation with Parallel Usages FTfJP Iaroslav Golovanov Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University, P: Mathias Steen Jakobsen Department of Computer Science, Aalborg University, Denmark, Mikkel Klinke Kettunen Department of Computer Science, Aalborg University, Denmark | ||
18:20 30mTalk | Combining Formal and Machine Learning Techniques for the Generation of JML Specifications FTfJP DOI File Attached | ||
18:50 30mTalk | JML and OpenJML for Java 16 FTfJP File Attached | ||
18:30 - 19:15 | |||
19:00 - 20:30 | Summer SchoolECOOP and ISSTA Summer School at Summer School Chair(s): Frank Tip Northeastern University | ||
19:00 90mTalk | Machine Learning for Developer Productivity ECOOP and ISSTA Summer School | ||
19:15 - 20:15 | |||
19:20 - 20:00 | |||
19:20 40mLive Q&A | Discussion and Conclusion FTfJP | ||
20:30 - 22:30 | Student presentations Session 2ECOOP and ISSTA Doctoral Symposium at Doctoral Symposium Chair(s): Wei Le Iowa State University Panel Members: Myra Cohen, Iowa State University, USA | ||
20:30 30mTalk | Accessible Metamorphic Testing for C++ Software Libraries (Senior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
21:00 30mTalk | Using refactoring features to solve the problem of nested refactoring (Junior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
21:30 30mTalk | Detecting Near-duplicate States in Web Application Model Inference: a Tree Kernel-based Approach (Junior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
22:00 30mTalk | Quantum Computing & Machine Learning: Towards Provable Guarantees (Senior Presentation) ECOOP and ISSTA Doctoral Symposium | ||
Wed 14 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
00:00 - 01:30 | Summer SchoolECOOP and ISSTA Summer School at Summer School Chair(s): Frank Tip Northeastern University | ||
00:00 90mTalk | Let me fix that for you: An Overview of Automated Program Repair ECOOP and ISSTA Summer School Media Attached | ||
08:00 - 09:30 | |||
08:00 90mTalk | Foundations of Software Testing ECOOP and ISSTA Summer School Media Attached | ||
17:00 - 17:20 | |||
17:00 20m | Opening Session ECOOP and ISSTA Opening E: Anders Møller Aarhus University, I: Cristian Cadar Imperial College London, UK, E: Manu Sridharan University of California at Riverside, I: Xiangyu Zhang Purdue University Media Attached | ||
17:20 - 18:20 | Celebrating 30 Editions of ISSTAKeynotes at ISSTA 30th Panel Chair(s): Cristian Cadar Imperial College London, UK, Xiangyu Zhang Purdue University | ||
17:20 60mPanel | ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 1) Keynotes Lionel Briand University of Luxembourg; University of Ottawa, Tevfik Bultan University of California, Santa Barbara, Myra Cohen Iowa State University, Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center Media Attached | ||
18:30 - 19:30 | Session 1 (time band 1) Web ApplicationsTechnical Papers at ISSTA 1 Chair(s): Xusheng Xiao Case Western Reserve University | ||
18:30 20mTalk | Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms Technical Papers Kulani Tharaka Mahadewa National University of Singapore, Yanjun Zhang University of Queensland, Guangdong Bai University of Queensland, Lei Bu Nanjing University, Zhiqiang Zuo Nanjing University, Dileepa Fernando Sri Lanka Technological Campus, Zhenkai Liang National University of Singapore, Jin Song Dong National University of Singapore DOI Media Attached File Attached | ||
18:50 20mTalk | WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes Technical Papers Fei Shao Case Western Reserve University, Rui Xu Case Western Reserve University, Wasif Haque University of Texas at Dallas, Jingwei Xu Peking University, Ying Zhang Peking University, Wei Yang University of Texas at Dallas, Yanfang Ye Case Western Reserve University, Xusheng Xiao Case Western Reserve University DOI File Attached | ||
19:10 20mTalk | Modular Call Graph Construction for Security Scanning of Node.js Applications Technical Papers Benjamin Barslev Nielsen Aarhus University, Martin Toldam Torp Aarhus University, Anders Møller Aarhus University DOI Media Attached | ||
18:30 - 19:30 | Session 2 (time band 1) Testing Deep Learning Systems 1Technical Papers at ISSTA 2 Chair(s): Lin Tan Purdue University | ||
18:30 20mTalk | Attack as Defense: Characterizing Adversarial Examples using Robustness Technical Papers Zhe Zhao ShanghaiTech University, Guangke Chen ShanghaiTech University, Jingyi Wang Zhejiang University, Yiwei Yang ShanghaiTech University, Fu Song ShanghaiTech University, Jun Sun Singapore Management University DOI Media Attached | ||
18:50 20mTalk | Exposing Previously Undetectable Faults in Deep Neural Networks Technical Papers Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford DOI Pre-print Media Attached | ||
19:10 20mTalk | DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults Technical Papers DOI | ||
18:40 - 19:40 | AmazonECOOP and ISSTA Sponsors at Sponsors Amazon is developing exciting technologies in many areas, including programming languages, code analysis, and software quality. We welcome you to join us and learn about Amazon CodeGuru, a machine-learning powered service that enables developers to maintain a high bar of code quality. In addition, we welcome you to participate in AWS BugBust, a global competition of fixing software bugs, and win exciting prizes! | ||
18:40 60m | Amazon ECOOP and ISSTA Sponsors | ||
19:40 - 20:40 | Session 3 (time band 1) Android Application TestingTechnical Papers at ISSTA 1 Chair(s): Alex Orso Georgia Institute of Technology | ||
19:40 20mTalk | Parema: An Unpacking Framework for Demystifying VM-Based Android Packers Technical Papers Lei Xue Hong Kong Polytechnic University, Yuxiao Yan Xi'an Jiaotong University; Hong Kong Polytechnic University, Luyi Yan Hong Kong Polytechnic University, Muhui Jiang Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University, Dinghao Wu Pennsylvania State University, Yajin Zhou Zhejiang University DOI | ||
20:00 20mTalk | An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools Technical Papers Wenyu Wang University of Illinois at Urbana-Champaign, Wing Lam University of Illinois at Urbana-Champaign, Tao Xie Peking University Link to publication DOI Media Attached | ||
20:20 20mTalk | Semantic Matching of GUI Events for Test Reuse: Are We There Yet? Technical Papers Leonardo Mariani University of Milano-Bicocca, Ali Mohebbi USI Lugano, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Valerio Terragni University of Auckland DOI Pre-print | ||
19:40 - 20:20 | Session 4 (time band 1) Testing Deep Learning Systems 2Technical Papers at ISSTA 2 Chair(s): Sebastian Elbaum University of Virginia | ||
19:40 20mTalk | DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search Technical Papers Tahereh Zohdinasab USI Lugano, Vincenzo Riccio USI Lugano, Alessio Gambi University of Passau, Paolo Tonella USI Lugano DOI File Attached | ||
20:00 20mTalk | Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper) Technical Papers Fitash Ul Haq University of Luxembourg, Donghwan Shin University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa, Thomas Stifter IEE, Jun Wang Post Luxembourg DOI | ||
20:40 - 21:10 | |||
20:40 30mPoster | Can we run in parallel? Automating Loop Parallelization for TornadoVM ECOOP and ISSTA Posters Shreyansh Kulshreshtha Indian Institute of Technology Mandi, Rishi Sharma Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi | ||
20:40 30mPoster | Techniques for Evaluating Pragmatic Call Graph Builders ECOOP and ISSTA Posters Madhurima Chakraborty University of California, Riverside, Renzo Olivares University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia | ||
20:40 30mPoster | Exposing Previously Undetectable Faults in Deep Neural Networks ECOOP and ISSTA Posters Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford | ||
20:40 30mPoster | Refactoring Scala Programs to Promote Functional Design Patterns ECOOP and ISSTA Posters Namrata Malkani Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi File Attached | ||
20:40 30mPoster | Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study ECOOP and ISSTA Posters Daniel Gómez Betancur Technological University of Pereira, Christian A. Candela-Uribe University of Quindío, Luis E. Sepúlveda-Rodríguez University of Quindío, Julio C. Chavarro-Porras Technological University of Pereira, John A. Sanabria-Ordoñez University of Valle File Attached | ||
Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
00:00 - 00:20 | |||
00:00 20m | Opening Session ECOOP and ISSTA Opening E: Anders Møller Aarhus University, I: Cristian Cadar Imperial College London, UK, E: Manu Sridharan University of California at Riverside, I: Xiangyu Zhang Purdue University Media Attached | ||
00:20 - 01:20 | Session 5 (time band 2) Android Application Analysis and TestingTechnical Papers at ISSTA 1 Chair(s): William G.J. Halfond University of Southern California | ||
00:20 20mTalk | GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps Technical Papers Tongtong Xu Nanjing University, Minxue Pan Nanjing University, Yu Pei Hong Kong Polytechnic University, Guiyin Li Nanjing University, Xia Zeng Tencent, Tian Zhang Nanjing University, Yuetang Deng Tencent, Xuandong Li Nanjing University DOI | ||
00:40 20mTalk | Understanding and Finding System Setting-Related Defects in Android Apps Technical Papers Jingling Sun East China Normal University, Ting Su East China Normal University, Junxin Li East China Normal University, Zhen Dong National University of Singapore, Geguang Pu East China Normal University, Tao Xie Peking University, Zhendong Su ETH Zurich DOI Media Attached | ||
01:00 20mTalk | HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis Technical Papers Yueming Wu Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Wei Yang University of Texas at Dallas, Xiang Li Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology DOI | ||
00:20 - 01:20 | Session 6 (time band 2) FuzzingTechnical Papers at ISSTA 2 Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign | ||
00:20 20mTalk | Seed Selection for Successful Fuzzing Technical Papers Adrian Herrera Australian National University; DST, Hendra Gunadi Australian National University, Shane Magrath DST, Michael Norrish CSIRO’s Data61; Australian National University, Mathias Payer EPFL, Tony Hosking Australian National University; CSIRO’s Data61 DOI Pre-print File Attached | ||
00:40 20mTalk | Gramatron: Effective Grammar-Aware Fuzzing Technical Papers DOI Pre-print Media Attached File Attached | ||
01:00 20mTalk | QFuzz: Quantitative Fuzzing for Side Channels Technical Papers DOI Pre-print Media Attached | ||
01:40 - 02:20 | Session 7 (time band 2) Data Processing Application AnalysisTechnical Papers at ISSTA 1 Chair(s): Darko Marinov University of Illinois at Urbana-Champaign | ||
01:40 20mTalk | SAND: A Static Analysis Approach for Detecting SQL AntipatternsACM SIGSOFT Distinguished Paper Technical Papers Yingjun Lyu Amazon, Sasha Volokh University of Southern California, William G.J. Halfond University of Southern California, Omer Tripp Amazon DOI | ||
02:00 20mTalk | Semantic Table Structure Identification in Spreadsheets Technical Papers Yakun Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Xiao Lv Microsoft Research, Haoyu Dong Microsoft Research, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Shi Han Microsoft Research, Dongmei Zhang Microsoft Research, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Dan Ye Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI Media Attached | ||
01:40 - 02:20 | Session 8 (time band 2) Dynamic AnalysisTechnical Papers at ISSTA 2 Chair(s): Luís Pina University of Illinois at Chicago | ||
01:40 20mTalk | Runtime Detection of Memory Errors with Smart Status Technical Papers Zhe Chen Nanjing University of Aeronautics and Astronautics, Chong Wang Nanjing University of Aeronautics and Astronautics, Junqi Yan Nanjing University of Aeronautics and Astronautics, Yulei Sui University of Technology Sydney, Jingling Xue UNSW DOI Media Attached | ||
02:00 20mTalk | UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities Technical Papers Binfa Gui Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology, Jeff Huang Texas A&M University DOI Media Attached File Attached | ||
02:20 - 02:50 | |||
02:20 30mPoster | KLEEMA: A DSE based Mutation Analyser ECOOP and ISSTA Posters Sangharatna Godboley National Institute of Technology Warangal, Golla Monika Rani National Institute of Technology, Warangal, Arpita Dutta National University of Singapore | ||
02:20 30mPoster | Techniques for Evaluating Pragmatic Call Graph Builders ECOOP and ISSTA Posters Madhurima Chakraborty University of California, Riverside, Renzo Olivares University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia | ||
02:20 30mPoster | Native Implementation of Mutable Value Semantics ECOOP and ISSTA Posters Dimi Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dan Zheng Purdue University, Google Brain, Dave Abrahams Google, Brennan Saeta Google | ||
02:20 30mPoster | Toward Optimal MC/DC Test Case Generation ECOOP and ISSTA Posters Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore | ||
02:20 30mPoster | Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study ECOOP and ISSTA Posters Daniel Gómez Betancur Technological University of Pereira, Christian A. Candela-Uribe University of Quindío, Luis E. Sepúlveda-Rodríguez University of Quindío, Julio C. Chavarro-Porras Technological University of Pereira, John A. Sanabria-Ordoñez University of Valle File Attached | ||
02:20 30mPoster | Target Code-coverage in APP Automatic Compatibility Testing ECOOP and ISSTA Posters Sen Yang Army Engineering University of PLA, Song Huang Army Engineering University of PLA, Changyou Zheng Army Engineering University of PLA | ||
08:00 - 09:00 | Celebrating 30 Editions of ISSTAKeynotes at ISSTA 30th Panel Chair(s): Cristian Cadar Imperial College London, UK, Xiangyu Zhang Purdue University | ||
08:00 60mPanel | ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 2) Keynotes Abhik Roychoudhury National University of Singapore, Zhendong Su ETH Zurich, Andreas Zeller CISPA, Dongmei Zhang Microsoft Research Media Attached | ||
09:10 - 10:50 | Session 10 (time band 3) Symbolic Execution 1Technical Papers at ISSTA 2 Chair(s): Sébastien Bardin CEA LIST, University Paris-Saclay | ||
09:10 20mTalk | Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration Technical Papers Peisen Yao Hong Kong University of Science and Technology, Heqing Huang Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology DOI | ||
09:30 20mTalk | Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper) Technical Papers Sicheng Luo Fudan University, Hui Xu Fudan University, Yanxiang Bi Fudan University, Xin Wang Fudan University, Yangfan Zhou Fudan University DOI File Attached | ||
09:50 20mTalk | Synthesize Solving Strategy for Symbolic Execution Technical Papers Zhenbang Chen National University of Defense Technology, Zehua Chen National University of Defense Technology, Ziqi Shuai National University of Defense Technology, Guofeng Zhang Hunan University, Weiyu Pan National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology DOI | ||
10:10 20mTalk | Type and Interval Aware Array Constraint Solving for Symbolic ExecutionACM SIGSOFT Distinguished Paper Technical Papers Ziqi Shuai National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Yufeng Zhang Hunan University, Jun Sun Singapore Management University, Ji Wang National University of Defense Technology DOI | ||
10:30 20mTalk | Grammar-Agnostic Symbolic Execution by Token Symbolization Technical Papers Weiyu Pan National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Guofeng Zhang Hunan University, Yunlai Luo National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology DOI | ||
09:10 - 10:10 | AmazonECOOP and ISSTA Sponsors at Sponsors Amazon is developing exciting technologies in many areas, including programming languages, code analysis, and software quality. We welcome you to join us and learn about Amazon CodeGuru, a machine-learning powered service that enables developers to maintain a high bar of code quality. In addition, we welcome you to participate in AWS BugBust, a global competition of fixing software bugs, and win exciting prizes! | ||
09:10 60m | Amazon ECOOP and ISSTA Sponsors | ||
11:10 - 11:40 | |||
11:10 30mPoster | Exposing Previously Undetectable Faults in Deep Neural Networks ECOOP and ISSTA Posters Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford | ||
11:10 30mPoster | KLEEMA: A DSE based Mutation Analyser ECOOP and ISSTA Posters Sangharatna Godboley National Institute of Technology Warangal, Golla Monika Rani National Institute of Technology, Warangal, Arpita Dutta National University of Singapore | ||
11:10 30mPoster | Target Code-coverage in APP Automatic Compatibility Testing ECOOP and ISSTA Posters Sen Yang Army Engineering University of PLA, Song Huang Army Engineering University of PLA, Changyou Zheng Army Engineering University of PLA | ||
11:10 30mPoster | Native Implementation of Mutable Value Semantics ECOOP and ISSTA Posters Dimi Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dan Zheng Purdue University, Google Brain, Dave Abrahams Google, Brennan Saeta Google | ||
11:10 30mPoster | Toward Optimal MC/DC Test Case Generation ECOOP and ISSTA Posters Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore | ||
11:10 30mPoster | Refactoring Scala Programs to Promote Functional Design Patterns ECOOP and ISSTA Posters Namrata Malkani Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi File Attached | ||
11:10 30mPoster | Can we run in parallel? Automating Loop Parallelization for TornadoVM ECOOP and ISSTA Posters Shreyansh Kulshreshtha Indian Institute of Technology Mandi, Rishi Sharma Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi | ||
18:00 - 18:05 | ISSTA Tool Demos (One-Minute Teasers) 1Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart | ||
18:00 5mOther | One-Minute Teasers Tool Demonstrations | ||
18:05 - 18:40 | ISSTA Tool Demos (Live Discussion) 1Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart | ||
18:05 35mLive Q&A | RESTest: Automated Black-Box Testing of RESTful Web APIs Tool Demonstrations Alberto Martin-Lopez Universidad de Sevilla, Sergio Segura Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville | ||
18:05 35mLive Q&A | C4: the C Compiler Concurrency Checker Tool Demonstrations Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London | ||
18:05 35mLive Q&A | echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing Tool Demonstrations | ||
18:05 35mLive Q&A | SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Tool Demonstrations Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University | ||
18:05 35mLive Q&A | ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing Tool Demonstrations | ||
19:00 - 20:20 | Session 11 (time band 1) Machine Learning and TestingTechnical Papers at ISSTA 1 Chair(s): August Shi University of Texas at Austin | ||
19:00 20mTalk | Interval Constraint-Based Mutation Testing of Numerical Specifications Technical Papers Clothilde Jeangoudoux MPI-SWS, Eva Darulova MPI-SWS, Christoph Lauter University of Alaska at Anchorage DOI | ||
19:20 20mTalk | Predoo: Precision Testing of Deep Learning Operators Technical Papers Xufan Zhang Nanjing University, Ning Sun Nanjing University, Chunrong Fang Nanjing University, Jiawei Liu Nanjing University, Jia Liu Nanjing University, Dong Chai Huawei, Jiang Wang Huawei, Zhenyu Chen Nanjing University DOI | ||
19:40 20mTalk | TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects Technical Papers Saikat Dutta University of Illinois at Urbana-Champaign, Jeeva Selvam University of Illinois at Urbana-Champaign, Aryaman Jain University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign DOI | ||
20:00 20mTalk | Deep Just-in-Time Defect Prediction: How Far Are We? Technical Papers Zhengran Zeng Southern University of Science and Technology, Yuqun Zhang Southern University of Science and Technology, Haotian Zhang Kwai, Lingming Zhang University of Illinois at Urbana-Champaign DOI | ||
19:00 - 20:20 | Session 12 (time band 1) Configuration and Dependency Technical Papers at ISSTA 2 Chair(s): Jonathan Bell Northeastern University | ||
19:00 20mTalk | Fixing Dependency Errors for Python Build Reproducibility Technical Papers Suchita Mukherjee University of California at Davis, Abigail Almanza University of California at Davis, Cindy Rubio-González University of California at Davis DOI | ||
19:20 20mTalk | Test-Case Prioritization for Configuration TestingACM SIGSOFT Distinguished Paper Technical Papers Runxiang Cheng University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign, Tianyin Xu University of Illinois at Urbana-Champaign DOI | ||
19:40 20mTalk | The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android Technical Papers DOI Pre-print | ||
20:00 20mTalk | Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing Technical Papers Wang Li National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Teng Wang National University of Defense Technology, Erci Xu National University of Defense Technology, Ji Wang National University of Defense Technology, Liao Xiangke National University of Defense Technology DOI File Attached | ||
20:20 - 21:00 | Advances in TestingECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 1) Chair(s): Sebastian Elbaum University of Virginia, Annibale Panichella Delft University of Technology; University of Luxembourg | ||
20:20 40mPanel | Advances in Testing ECOOP and ISSTA Discussions with Experts Annibale Panichella Delft University of Technology; University of Luxembourg, Sebastian Elbaum University of Virginia | ||
20:20 - 21:00 | Specification and Implementation of Type SystemsECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2) Chair(s): Sebastian Erdweg JGU Mainz, Eelco Visser Delft University of Technology | ||
20:20 40mPanel | Specification and Implementation of Type Systems ECOOP and ISSTA Discussions with Experts | ||
20:20 - 21:00 | Practical Static Analysis and Bug FindingECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 3) Chair(s): Murali Krishna Ramanathan Uber Technologies Inc., Michael Pradel University of Stuttgart | ||
20:20 40mPanel | Practical Static Analysis and Bug Finding ECOOP and ISSTA Discussions with Experts | ||
Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
01:00 - 01:05 | ISSTA Tool Demos (One-Minute Teasers) 2Tool Demonstrations at ISSTA Demos Chair(s): August Shi University of Texas at Austin | ||
01:00 5mOther | One-Minute Teasers Tool Demonstrations | ||
01:05 - 01:40 | ISSTA Tool Demos (Live Discussion) 2Tool Demonstrations at ISSTA Demos Chair(s): August Shi University of Texas at Austin | ||
01:05 35mLive Q&A | MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services Tool Demonstrations Hanlin Wei The University of Queensland, Behnaz Hassanshahi Oracle Labs, Australia, Guangdong Bai University of Queensland, Paddy Krishnan Oracle Labs, Australia, Kostyantyn Vorobyov Oracle Labs, Australia | ||
01:05 35mLive Q&A | TauMed: Test Augmentation of Deep Learning in Medical Diagnosis Tool Demonstrations Yunhan Hou Nanjing University, Jiawei Liu Nanjing University, Daiwei Wang Nanjing University, Jiawei He Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University | ||
01:05 35mLive Q&A | RESTest: Automated Black-Box Testing of RESTful Web APIs Tool Demonstrations Alberto Martin-Lopez Universidad de Sevilla, Sergio Segura Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville | ||
02:00 - 03:20 | Session 13 (time band 2) Testing Deep Learning Systems 4Technical Papers at ISSTA 1 Chair(s): Shiqing Ma Rutgers University | ||
02:00 20mTalk | Efficient White-Box Fairness Testing through Gradient Search Technical Papers Lingfeng Zhang East China Normal University, Yueling Zhang Singapore Management University, Min Zhang East China Normal University DOI Media Attached | ||
02:20 20mTalk | DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems Technical Papers DOI | ||
02:40 20mTalk | AdvDoor: Adversarial Backdoor Attack of Deep Learning System Technical Papers Quan Zhang Tsinghua University, Yifeng Ding Tsinghua University, Yongqiang Tian Tianjin University, Jianmin Guo Tsinghua University, Min Yuan WeBank, Yu Jiang Tsinghua University DOI | ||
03:00 20mTalk | ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection Technical Papers Yuanchun Li Microsoft Research, Ziqi Zhang Peking University, Bingyan Liu Peking University, Ziyue Yang Microsoft Research, Yunxin Liu Tsinghua University DOI | ||
02:00 - 03:20 | Session 14 (time band 2) Symbolic Execution 2Technical Papers at ISSTA 2 Chair(s): Martin Nowack Imperial College London | ||
02:00 20mTalk | Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration Technical Papers Peisen Yao Hong Kong University of Science and Technology, Heqing Huang Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology DOI | ||
02:20 20mTalk | Synthesize Solving Strategy for Symbolic Execution Technical Papers Zhenbang Chen National University of Defense Technology, Zehua Chen National University of Defense Technology, Ziqi Shuai National University of Defense Technology, Guofeng Zhang Hunan University, Weiyu Pan National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology DOI | ||
02:40 20mTalk | Type and Interval Aware Array Constraint Solving for Symbolic ExecutionACM SIGSOFT Distinguished Paper Technical Papers Ziqi Shuai National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Yufeng Zhang Hunan University, Jun Sun Singapore Management University, Ji Wang National University of Defense Technology DOI | ||
03:00 20mTalk | Grammar-Agnostic Symbolic Execution by Token Symbolization Technical Papers Weiyu Pan National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Guofeng Zhang Hunan University, Yunlai Luo National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology DOI | ||
03:20 - 04:00 | Testing/Analysis and ML/DL 1 ECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 1) Chair(s): Satish Chandra Facebook, Yang Liu Nanyang Technological University We will be discussing:
… | ||
03:20 40mPanel | Testing/Analysis and ML/DL 1 ECOOP and ISSTA Discussions with Experts | ||
03:20 - 04:00 | Symbolic ExecutionECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2) Chair(s): Jun Sun Singapore Management University, Willem Visser Stellenbosch University, South Africa Need research ideas? Join us to discuss the following questions.
| ||
03:20 40mPanel | Symbolic Execution ECOOP and ISSTA Discussions with Experts | ||
03:20 - 04:00 | Advances in Type SystemsECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 3) Chair(s): Michael Greenberg Stevens Institute of Technology, Bruno C. d. S. Oliveira University of Hong Kong What advances in type systems have had a recent effect… and what’s next? Join us to discuss where types are going, in both theory and practice. | ||
03:20 40mPanel | Advances in Type Systems ECOOP and ISSTA Discussions with Experts | ||
08:00 - 09:00 | Session 15 (time band 3) Testing 1Technical Papers at ISSTA 1 Chair(s): Phil McMinn University of Sheffield | ||
08:00 20mTalk | Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration Technical Papers Daniel Elsner TU Munich, Florian Hauer TU Munich, Alexander Pretschner TU Munich, Silke Reimer IVU Traffic Technologies DOI | ||
08:20 20mTalk | Toward Optimal MC/DC Test Case Generation Technical Papers Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore DOI | ||
08:40 20mTalk | Log-Based Slicing for System-Level Test Cases Technical Papers Salma Messaoudi University of Luxembourg, Donghwan Shin University of Luxembourg, Annibale Panichella Delft University of Technology; University of Luxembourg, Domenico Bianculli University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa DOI Media Attached | ||
08:00 - 09:00 | Session 16 (time band 3) Binary AnalysisTechnical Papers at ISSTA 2 Chair(s): Michael Pradel University of Stuttgart | ||
08:00 20mTalk | iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing Technical Papers Shisong Qin Tsinghua University, Chao Zhang Tsinghua University, Kaixiang Chen Tsinghua University, Zheming Li Tsinghua University DOI | ||
08:20 20mTalk | RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis Technical Papers Ming Yuan Tsinghua University, Yeseop Lee Tsinghua University, Chao Zhang Tsinghua University, Yun Li Tsinghua University, Yan Cai Institute of Software at Chinese Academy of Sciences, Bodong Zhao Tsinghua University DOI | ||
08:40 20mTalk | A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped BinariesACM SIGSOFT Distinguished Paper Technical Papers Han Gao University of Science and Technology of China, Shaoyin Cheng University of Science and Technology of China, Yinxing Xue University of Science and Technology of China, Weiming Zhang University of Science and Technology of China DOI | ||
09:00 - 09:05 | ISSTA Tool Demos (One-Minute Teasers) 3Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart | ||
09:00 5mOther | One-Minute Teasers Tool Demonstrations | ||
09:05 - 09:40 | ISSTA Tool Demos (Live Discussion) 3Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart | ||
09:05 35mLive Q&A | SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Tool Demonstrations Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University | ||
09:05 35mLive Q&A | TauMed: Test Augmentation of Deep Learning in Medical Diagnosis Tool Demonstrations Yunhan Hou Nanjing University, Jiawei Liu Nanjing University, Daiwei Wang Nanjing University, Jiawei He Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University | ||
09:05 35mLive Q&A | ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing Tool Demonstrations | ||
09:05 35mLive Q&A | C4: the C Compiler Concurrency Checker Tool Demonstrations Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London | ||
09:05 35mLive Q&A | echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing Tool Demonstrations | ||
09:05 35mLive Q&A | MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services Tool Demonstrations Hanlin Wei The University of Queensland, Behnaz Hassanshahi Oracle Labs, Australia, Guangdong Bai University of Queensland, Paddy Krishnan Oracle Labs, Australia, Kostyantyn Vorobyov Oracle Labs, Australia | ||
10:00 - 11:20 | Session 17 (time band 3) Testing Miscellaneous Systems Technical Papers at ISSTA 1 Chair(s): Thuan Pham The University of Melbourne | ||
10:00 20mTalk | Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Technical Papers Meng Ren Tsinghua University, Zijing Yin Tsinghua University, Fuchen Ma Tsinghua University, Zhenyang Xu University of Waterloo, Yu Jiang Tsinghua University, Chengnian Sun University of Waterloo, Huizhong Li WeBank, Yan Cai Institute of Software at Chinese Academy of Sciences DOI File Attached | ||
10:20 20mTalk | Interval Constraint-Based Mutation Testing of Numerical Specifications Technical Papers Clothilde Jeangoudoux MPI-SWS, Eva Darulova MPI-SWS, Christoph Lauter University of Alaska at Anchorage DOI | ||
10:40 20mTalk | TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects Technical Papers Saikat Dutta University of Illinois at Urbana-Champaign, Jeeva Selvam University of Illinois at Urbana-Champaign, Aryaman Jain University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign DOI | ||
11:00 20mTalk | Predoo: Precision Testing of Deep Learning Operators Technical Papers Xufan Zhang Nanjing University, Ning Sun Nanjing University, Chunrong Fang Nanjing University, Jiawei Liu Nanjing University, Jia Liu Nanjing University, Dong Chai Huawei, Jiang Wang Huawei, Zhenyu Chen Nanjing University DOI | ||
10:00 - 11:20 | Session 18 (time band 3) Android Application Testing 2Technical Papers at ISSTA 2 Chair(s): Shin Hwei Tan Southern University of Science and Technology | ||
10:00 20mTalk | GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps Technical Papers Tongtong Xu Nanjing University, Minxue Pan Nanjing University, Yu Pei Hong Kong Polytechnic University, Guiyin Li Nanjing University, Xia Zeng Tencent, Tian Zhang Nanjing University, Yuetang Deng Tencent, Xuandong Li Nanjing University DOI | ||
10:20 20mTalk | Understanding and Finding System Setting-Related Defects in Android Apps Technical Papers Jingling Sun East China Normal University, Ting Su East China Normal University, Junxin Li East China Normal University, Zhen Dong National University of Singapore, Geguang Pu East China Normal University, Tao Xie Peking University, Zhendong Su ETH Zurich DOI Media Attached | ||
10:40 20mTalk | Parema: An Unpacking Framework for Demystifying VM-Based Android Packers Technical Papers Lei Xue Hong Kong Polytechnic University, Yuxiao Yan Xi'an Jiaotong University; Hong Kong Polytechnic University, Luyi Yan Hong Kong Polytechnic University, Muhui Jiang Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University, Dinghao Wu Pennsylvania State University, Yajin Zhou Zhejiang University DOI | ||
11:00 20mTalk | HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis Technical Papers Yueming Wu Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Wei Yang University of Texas at Dallas, Xiang Li Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology DOI | ||
11:20 - 12:00 | PL/SE for Concurrent / Distributed SystemsECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 1) Chair(s): Simon Fowler University of Glasgow, Burcu Kulahcioglu Ozkan Delft University of Technology, Mira Mezini TU Darmstadt, Germany | ||
11:20 40mPanel | PL/SE for Concurrent / Distributed Systems ECOOP and ISSTA Discussions with Experts Burcu Kulahcioglu Ozkan Delft University of Technology, Simon Fowler University of Glasgow, Mira Mezini TU Darmstadt, Germany | ||
11:20 - 12:00 | Testing/Analysis and ML/DL 2 ECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2) Chair(s): Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Tao Xie Peking University | ||
11:20 40mPanel | Testing/Analysis and ML/DL 2 ECOOP and ISSTA Discussions with Experts | ||
11:20 - 12:00 | FuzzingECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 3) Chair(s): Marcel Böhme Monash University, Mathias Payer EPFL Fuzzing has become the major technique to find vulnerabilities in software and has seen a recent explosion in research activity. We will discuss the origins of fuzzing and the major events that lead to this proliferation: from the “DARPA Cyber Grand Challenge” and “American Fuzzy Lop” seed events to the explosion of fuzzers that target hundreds of open source projects. Then, we’ll gradually ease into highlighting key research areas in software engineering and security such as coverage metrics, intelligent mutation operators, scheduling, seed selection, or different forms of feedback. In addition, we welcome interactivity and questions from the audience throughout. | ||
11:20 40mPanel | Fuzzing ECOOP and ISSTA Discussions with Experts | ||
17:00 - 17:55 | ISSTA Impact Paper Award TalkKeynotes at Keynote Chair(s): Cristian Cadar Imperial College London, UK | ||
17:00 55mKeynote | Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)Keynote Keynotes Media Attached | ||
17:55 - 18:00 | |||
17:55 5mTalk | ISSTA 2022 Preview ECOOP and ISSTA 2022 Previews | ||
18:20 - 20:00 | Session 19 (time band 1) Testing 2Technical Papers at ISSTA 1 Chair(s): Rohan Padhye Carnegie Mellon University | ||
18:20 20mTalk | Model-Based Testing of Networked Applications Technical Papers Yishuai Li University of Pennsylvania, Benjamin C. Pierce University of Pennsylvania, Steve Zdancewic University of Pennsylvania DOI Pre-print | ||
18:40 20mTalk | Validating Static Warnings via Testing Code Fragments Technical Papers Ashwin Kallingal Joshy Iowa State University, Xueyuan Chen Iowa State University, Benjamin Steenhoek Iowa State University, Wei Le Iowa State University DOI | ||
19:00 20mTalk | Gramatron: Effective Grammar-Aware Fuzzing Technical Papers DOI Pre-print Media Attached File Attached | ||
19:20 20mTalk | Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration Technical Papers Daniel Elsner TU Munich, Florian Hauer TU Munich, Alexander Pretschner TU Munich, Silke Reimer IVU Traffic Technologies DOI | ||
19:40 20mTalk | Log-Based Slicing for System-Level Test Cases Technical Papers Salma Messaoudi University of Luxembourg, Donghwan Shin University of Luxembourg, Annibale Panichella Delft University of Technology; University of Luxembourg, Domenico Bianculli University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa DOI Media Attached | ||
18:20 - 20:00 | Session 20 (time band 1) AnalysisTechnical Papers at ISSTA 2 Chair(s): Shiyi Wei University of Texas at Dallas | ||
18:20 20mTalk | A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped BinariesACM SIGSOFT Distinguished Paper Technical Papers Han Gao University of Science and Technology of China, Shaoyin Cheng University of Science and Technology of China, Yinxing Xue University of Science and Technology of China, Weiming Zhang University of Science and Technology of China DOI | ||
18:40 20mTalk | Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper) Technical Papers Sicheng Luo Fudan University, Hui Xu Fudan University, Yanxiang Bi Fudan University, Xin Wang Fudan University, Yangfan Zhou Fudan University DOI File Attached | ||
19:00 20mTalk | Finding Data Compatibility Bugs with JSON Subschema CheckingDistinguished Artifact Technical Papers Andrew Habib SnT, University of Luxembourg, Avraham Shinnar IBM Research, Martin Hirzel IBM Research, Michael Pradel University of Stuttgart Link to publication DOI Pre-print File Attached | ||
19:20 20mTalk | SAND: A Static Analysis Approach for Detecting SQL AntipatternsACM SIGSOFT Distinguished Paper Technical Papers Yingjun Lyu Amazon, Sasha Volokh University of Southern California, William G.J. Halfond University of Southern California, Omer Tripp Amazon DOI | ||
19:40 20mTalk | Automated Patch Backporting in Linux (Experience Paper)Distinguished Artifact Technical Papers Ridwan Salihin Shariffdeen National University of Singapore, Xiang Gao National University of Singapore, Gregory J. Duck National University of Singapore, Shin Hwei Tan Southern University of Science and Technology, Julia Lawall Inria, Abhik Roychoudhury National University of Singapore DOI Pre-print Media Attached | ||
20:55 - 21:00 | |||
20:55 5m | ECOOP 2022 Preview ECOOP and ISSTA 2022 Previews | ||
Sat 17 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
00:00 - 00:55 | |||
00:00 55mKeynote | Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)Keynote Keynotes Media Attached | ||
00:55 - 01:00 | |||
00:55 5mTalk | ISSTA 2022 Preview ECOOP and ISSTA 2022 Previews | ||
01:10 - 02:30 | Session 21 (time band 2) Testing 3Technical Papers at ISSTA 1 Chair(s): Rohan Padhye Carnegie Mellon University | ||
01:10 20mTalk | Continuous Test Suite Failure Prediction Technical Papers DOI Media Attached | ||
01:30 20mTalk | Toward Optimal MC/DC Test Case Generation Technical Papers Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore DOI | ||
01:50 20mTalk | Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing Technical Papers Wang Li National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Teng Wang National University of Defense Technology, Erci Xu National University of Defense Technology, Ji Wang National University of Defense Technology, Liao Xiangke National University of Defense Technology DOI File Attached | ||
02:10 20mTalk | Test-Case Prioritization for Configuration TestingACM SIGSOFT Distinguished Paper Technical Papers Runxiang Cheng University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign, Tianyin Xu University of Illinois at Urbana-Champaign DOI | ||
01:10 - 02:30 | Session 22 (time band 2) Bugs and Analysis 1 Technical Papers at ISSTA 2 Chair(s): Saeid Tizpaz-Niari University of Texas at El Paso | ||
01:10 20mTalk | Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space Technical Papers Yicheng Pan Peking University, Meng Ma Peking University, Xinrui Jiang Peking University, Ping Wang Peking University DOI Media Attached File Attached | ||
01:30 20mTalk | iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing Technical Papers Shisong Qin Tsinghua University, Chao Zhang Tsinghua University, Kaixiang Chen Tsinghua University, Zheming Li Tsinghua University DOI | ||
01:50 20mTalk | RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis Technical Papers Ming Yuan Tsinghua University, Yeseop Lee Tsinghua University, Chao Zhang Tsinghua University, Yun Li Tsinghua University, Yan Cai Institute of Software at Chinese Academy of Sciences, Bodong Zhao Tsinghua University DOI | ||
02:10 20mTalk | Fixing Dependency Errors for Python Build Reproducibility Technical Papers Suchita Mukherjee University of California at Davis, Abigail Almanza University of California at Davis, Cindy Rubio-González University of California at Davis DOI | ||
02:20 - 03:00 | Dragon TestingECOOP and ISSTA Sponsors at Sponsors Research funding and job opportunities with Dragon Testing. Details to be revealed in the session. See also this video about Dragon Testing | ||
02:20 40m | Dragon Testing ECOOP and ISSTA Sponsors | ||
02:40 - 03:40 | Session 23 (time band 2) Testing 4Technical Papers at ISSTA 1 Chair(s): Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
02:40 20mTalk | Validating Static Warnings via Testing Code Fragments Technical Papers Ashwin Kallingal Joshy Iowa State University, Xueyuan Chen Iowa State University, Benjamin Steenhoek Iowa State University, Wei Le Iowa State University DOI | ||
03:00 20mTalk | Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Technical Papers Meng Ren Tsinghua University, Zijing Yin Tsinghua University, Fuchen Ma Tsinghua University, Zhenyang Xu University of Waterloo, Yu Jiang Tsinghua University, Chengnian Sun University of Waterloo, Huizhong Li WeBank, Yan Cai Institute of Software at Chinese Academy of Sciences DOI File Attached | ||
03:20 20mTalk | Model-Based Testing of Networked Applications Technical Papers Yishuai Li University of Pennsylvania, Benjamin C. Pierce University of Pennsylvania, Steve Zdancewic University of Pennsylvania DOI Pre-print | ||
02:40 - 03:40 | Session 24 (time band 2) Android and Web Application TestingTechnical Papers at ISSTA 2 Chair(s): Omer Tripp IBM Thomas J. Watson Research Center | ||
02:40 20mTalk | WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes Technical Papers Fei Shao Case Western Reserve University, Rui Xu Case Western Reserve University, Wasif Haque University of Texas at Dallas, Jingwei Xu Peking University, Ying Zhang Peking University, Wei Yang University of Texas at Dallas, Yanfang Ye Case Western Reserve University, Xusheng Xiao Case Western Reserve University DOI File Attached | ||
03:00 20mTalk | The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android Technical Papers DOI Pre-print | ||
03:20 20mTalk | An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools Technical Papers Wenyu Wang University of Illinois at Urbana-Champaign, Wing Lam University of Illinois at Urbana-Champaign, Tao Xie Peking University Link to publication DOI Media Attached | ||
03:00 - 04:00 | Microsoft ResearchECOOP and ISSTA Sponsors at Sponsors Microsoft Research (MSR) provides a dynamic environment for research careers with a network of world-class research labs led by globally recognized research scientists and engineers. You are welcome to join this session to learn about the opportunities (job, internship, and academic collaboration) in MSR. See also this video about MSR | ||
03:00 60m | Microsoft Research ECOOP and ISSTA Sponsors | ||
08:00 - 09:20 | Session 25 (time band 3) Testing and AnalysisTechnical Papers at ISSTA 1 Chair(s): Michael Pradel University of Stuttgart | ||
08:00 20mTalk | Automated Patch Backporting in Linux (Experience Paper)Distinguished Artifact Technical Papers Ridwan Salihin Shariffdeen National University of Singapore, Xiang Gao National University of Singapore, Gregory J. Duck National University of Singapore, Shin Hwei Tan Southern University of Science and Technology, Julia Lawall Inria, Abhik Roychoudhury National University of Singapore DOI Pre-print Media Attached | ||
08:20 20mTalk | Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms Technical Papers Kulani Tharaka Mahadewa National University of Singapore, Yanjun Zhang University of Queensland, Guangdong Bai University of Queensland, Lei Bu Nanjing University, Zhiqiang Zuo Nanjing University, Dileepa Fernando Sri Lanka Technological Campus, Zhenkai Liang National University of Singapore, Jin Song Dong National University of Singapore DOI Media Attached File Attached | ||
08:40 20mTalk | Modular Call Graph Construction for Security Scanning of Node.js Applications Technical Papers Benjamin Barslev Nielsen Aarhus University, Martin Toldam Torp Aarhus University, Anders Møller Aarhus University DOI Media Attached | ||
09:00 20mTalk | Semantic Matching of GUI Events for Test Reuse: Are We There Yet? Technical Papers Leonardo Mariani University of Milano-Bicocca, Ali Mohebbi USI Lugano, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Valerio Terragni University of Auckland DOI Pre-print | ||
08:00 - 09:20 | Session 26 (time band 3) Testing Deep Learning Systems 5Technical Papers at ISSTA 2 Chair(s): Junjie Chen Tianjin University | ||
08:00 20mTalk | Efficient White-Box Fairness Testing through Gradient Search Technical Papers Lingfeng Zhang East China Normal University, Yueling Zhang Singapore Management University, Min Zhang East China Normal University DOI Media Attached | ||
08:20 20mTalk | DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems Technical Papers DOI | ||
08:40 20mTalk | AdvDoor: Adversarial Backdoor Attack of Deep Learning System Technical Papers Quan Zhang Tsinghua University, Yifeng Ding Tsinghua University, Yongqiang Tian Tianjin University, Jianmin Guo Tsinghua University, Min Yuan WeBank, Yu Jiang Tsinghua University DOI | ||
09:00 20mTalk | ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection Technical Papers Yuanchun Li Microsoft Research, Ziqi Zhang Peking University, Bingyan Liu Peking University, Ziyue Yang Microsoft Research, Yunxin Liu Tsinghua University DOI | ||
09:00 - 09:40 | Dragon TestingECOOP and ISSTA Sponsors at Sponsors Research funding and job opportunities with Dragon Testing. Details to be revealed in the session. See also this video about Dragon Testing | ||
09:00 40m | Dragon Testing ECOOP and ISSTA Sponsors | ||
09:30 - 11:10 | Session 27 (time band 3) Bugs and Analysis 2Technical Papers at ISSTA 1 Chair(s): Mike Papadakis University of Luxembourg, Luxembourg | ||
09:30 20mTalk | Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space Technical Papers Yicheng Pan Peking University, Meng Ma Peking University, Xinrui Jiang Peking University, Ping Wang Peking University DOI Media Attached File Attached | ||
09:50 20mTalk | Finding Data Compatibility Bugs with JSON Subschema CheckingDistinguished Artifact Technical Papers Andrew Habib SnT, University of Luxembourg, Avraham Shinnar IBM Research, Martin Hirzel IBM Research, Michael Pradel University of Stuttgart Link to publication DOI Pre-print File Attached | ||
10:10 20mTalk | Semantic Table Structure Identification in Spreadsheets Technical Papers Yakun Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Xiao Lv Microsoft Research, Haoyu Dong Microsoft Research, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Shi Han Microsoft Research, Dongmei Zhang Microsoft Research, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Dan Ye Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI Media Attached | ||
10:30 20mTalk | Deep Just-in-Time Defect Prediction: How Far Are We? Technical Papers Zhengran Zeng Southern University of Science and Technology, Yuqun Zhang Southern University of Science and Technology, Haotian Zhang Kwai, Lingming Zhang University of Illinois at Urbana-Champaign DOI | ||
10:50 20mTalk | Continuous Test Suite Failure Prediction Technical Papers DOI Media Attached | ||
09:30 - 10:50 | Session 28 (time band 3) Fuzzing and Runtime AnalysisTechnical Papers at ISSTA 2 Chair(s): Michaël Marcozzi Université Paris-Saclay, CEA, List | ||
09:30 20mTalk | Runtime Detection of Memory Errors with Smart Status Technical Papers Zhe Chen Nanjing University of Aeronautics and Astronautics, Chong Wang Nanjing University of Aeronautics and Astronautics, Junqi Yan Nanjing University of Aeronautics and Astronautics, Yulei Sui University of Technology Sydney, Jingling Xue UNSW DOI Media Attached | ||
09:50 20mTalk | UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities Technical Papers Binfa Gui Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology, Jeff Huang Texas A&M University DOI Media Attached File Attached | ||
10:10 20mTalk | Seed Selection for Successful Fuzzing Technical Papers Adrian Herrera Australian National University; DST, Hendra Gunadi Australian National University, Shane Magrath DST, Michael Norrish CSIRO’s Data61; Australian National University, Mathias Payer EPFL, Tony Hosking Australian National University; CSIRO’s Data61 DOI Pre-print File Attached | ||
10:30 20mTalk | QFuzz: Quantitative Fuzzing for Side Channels Technical Papers DOI Pre-print Media Attached | ||
10:00 - 11:00 | Microsoft ResearchECOOP and ISSTA Sponsors at Sponsors Microsoft Research (MSR) provides a dynamic environment for research careers with a network of world-class research labs led by globally recognized research scientists and engineers. You are welcome to join this session to learn about the opportunities (job, internship, and academic collaboration) in MSR. See also this video about MSR | ||
10:00 60m | Microsoft Research ECOOP and ISSTA Sponsors | ||
12:05 - 12:10 | |||
12:05 5m | ECOOP 2022 Preview ECOOP and ISSTA 2022 Previews | ||