Write a Blog >>
ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 11 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

11:00 - 13:00
Session 1REBASE at Rebase
Chair(s): Andreas Zeller CISPA
11:00
2h
Talk
Ubiquitous Omniscient Debugging
REBASE
13:00 - 15:00
Session 2REBASE at Rebase
Chair(s): Alexandre Bergel University of Chile, Oscar Nierstrasz University of Bern, Switzerland
13:00
2h
Talk
Molding Knowledge
REBASE
Tudor Gîrba feenk.com
15:00 - 17:00
Session 3REBASE at Rebase
Chair(s): Gregor Kiczales
15:00
2h
Talk
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
2h
Talk
The Move language for the Diem Blockchain
REBASE
Shaz Qadeer Facebook
19:00 - 21:00
Session 5REBASE at Rebase
Chair(s): Chris Lattner SiFive
19:00
2h
Talk
AA - Yet Another New Language
REBASE
21:00 - 23:00
Session 6REBASE at Rebase
Chair(s): Aleksandar Prokopec Oracle Labs
21:00
2h
Talk
Variational Calculus for Dummies
REBASE

Mon 12 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 11:50
Main SessionAISTA at AISTA
Chair(s): Lei Ma University of Alberta, Shuai Wang Hong Kong University of Science and Technology, Xiaofei Xie Kyushu University
09:00
30m
Keynote
Towards Automated Debugging: A Trace Travelling Oriented and AI-based Approach
AISTA
Yun Lin National University of Singapore
09:30
20m
Talk
NerdBug: Automated Bug Detection in Neural Networks
AISTA
Foad Jafarinejad Technical University of Darmstadt, Krishna Narasimhan TU Darmstadt, Mira Mezini TU Darmstadt, Germany
09:50
20m
Talk
Automated Cell Header Generator for Jupyter Notebooks
AISTA
DOI
10:10
20m
Talk
Impact of Programming Languages on Machine Learning Bugs
AISTA
Sebastian Sztwiertnia Technical University of Darmstadt, Maximilian Grübel Technical University of Darmstadt, Amine Chouchane Technical University of Darmstadt, Daniel Sokolowski TU Darmstadt, Krishna Narasimhan TU Darmstadt, Mira Mezini TU Darmstadt, Germany
Link to publication DOI Pre-print
10:30
20m
Talk
On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
AISTA
Andreea Vescan Babes-Bolyai University, Camelia Chisalita-Cretu Babes-Bolyai University Cluj-Napoca, Camelia Serban Department of Computer Science, Babes-Bolyai University, Laura Diosan Babes-Bolyai University
10:50
60m
Panel
Panel discussion
AISTA

10:30 - 11:50
Morning sessionVORTEX at VORTEX
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
10:30
40m
Keynote
Increasing Confidence in Autonomous Systems
VORTEX
I: Michael Fisher University of Manchester, UK
File Attached
11:10
20m
Talk
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
20m
Talk
RVPLAN: A General Purpose Framework for Replanning using Runtime Verification
VORTEX
Angelo Ferrando DIBRIS, Università di Genova, Rafael C. Cardoso
File Attached
13:00 - 17:00
COPCOP at COP
13:00
30m
Talk
[Invited Talk] Application of Context-Oriented Programming Paradigm to Automobile Driving Assistance System
COP
Kenji Hisazumi Kyushu University, Tsuneo Nakanishi
File Attached
13:30
30m
Talk
[Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments
COP
Sebastian Ebert Technische Universität Dresden, Tim Kluge TU Dresden, Germany, Sebastian Götz Technische Universität Dresden
DOI File Attached
14:00
30m
Talk
[Invited Talk] A Method for Context-Oriented Management of ROS2-FPGA Module Reconfiguration
COP
Takeshi Ohkawa Tokai University
File Attached
14:30
15m
Talk
[Student Talk] A Language to Safely Exploit Multi-Version Modules at the Expression-level
COP
Yudai Tanabe Tokyo Institute of Technology
File Attached
14:45
15m
Talk
[Student Talk] Object-Oriented Programming with Versions
COP
File Attached
15:00
30m
Talk
[Invited Talk] Aspect-Oriented Modeling Mechanism for Ultra-Flexible Software Architecture
COP
Natsuko Noda Shibaura Institute of Technology
File Attached
15:30
30m
Talk
[Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition
COP
Toni Mattis Hasso Plattner Institute, University of Potsdam, Tom Beckmann Hasso Plattner Institute, Patrick Rein Hasso Plattner Institute, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany
DOI File Attached
16:00
30m
Talk
[Invited Talk] Generating Adaptations in Context-Oriented Programming using Reinforcement Learning Options
COP
Nicolás Cardozo Universidad de los Andes
Pre-print Media Attached
16:30
30m
Talk
[Regular Paper] Towards a Framework for Analyzing Context-Oriented Programming Languages
COP
Achiya Elyasaf Ben-Gurion University of the Negev, Arnon Sturm Ben-Gurion University of the Negev
DOI File Attached
17:00 - 18:30
17:00
90m
Talk
Who is Afraid of the Turnstile?
ECOOP and ISSTA Summer School
S: Andreas Rossberg Dfinity Stiftung
Media Attached
19:00 - 20:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank Tip Northeastern University
19:00
90m
Talk
Let me fix that for you: An Overview of Automated Program Repair
ECOOP and ISSTA Summer School
S: Claire Le Goues Carnegie Mellon University
Media Attached
21:00 - 22:30
21:00
90m
Talk
FanSASTic! The magic behind Static Application Security Testing
ECOOP and ISSTA Summer School
S: Eric Bodden University of Paderborn; Fraunhofer IEM
Link to publication Media Attached

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
90m
Talk
Foundations of Software Testing
ECOOP and ISSTA Summer School
S: Marcel Böhme Monash University
Media Attached
02:00 - 03:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank Tip Northeastern University
02:00
90m
Talk
Machine Learning for Developer Productivity
ECOOP and ISSTA Summer School
S: Satish Chandra Facebook
08:00 - 09:30
08:00
90m
Talk
Who is Afraid of the Turnstile?
ECOOP and ISSTA Summer School
S: Andreas Rossberg Dfinity Stiftung
Media Attached
10:00 - 11:30
10:00
90m
Talk
FanSASTic! The magic behind Static Application Security Testing
ECOOP and ISSTA Summer School
S: Eric Bodden University of Paderborn; Fraunhofer IEM
Link to publication Media Attached
13:00 - 17:30
ICOOOLPSICOOOLPS at ICOOOLPS
13:00
5m
Other
Welcome
ICOOOLPS

13:05
25m
Talk
The Two Cultures of Language ImplementationInvited Talk
ICOOOLPS
Stephen Kell King's College London
13:30
20m
Paper
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
20m
Talk
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
10m
Social Event
Break
ICOOOLPS

14:20
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Social Event
Break
ICOOOLPS

15:40
20m
Talk
Userfault Objects: Transparent Programmable MemoryPosition Paper
ICOOOLPS
P: Konrad Siek Czech Technical University in Prague, Colette Kerr ČVUT
Pre-print
16:00
20m
Talk
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
20m
Talk
Non-Intrusive Migration from Lazy to Eager Evaluation
ICOOOLPS
P: Aviral Goel Northeastern University, Jan Vitek Northeastern University / Czech Technical University
16:40
10m
Social Event
Break
ICOOOLPS

16:50
20m
Talk
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
20m
Talk
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
3m
Talk
Welcome Talk
ECOOP and ISSTA Doctoral Symposium

14:00 - 16:35
FTfJP Workshop-1FTfJP at FTfJP
14:00
5m
Talk
Welcome
FTfJP

14:05
30m
Talk
Refactoring traces to identify concurrency improvements
FTfJP
P: Indigo Orton University of Cambridge, UK, Alan Mycroft University of Cambridge, UK
14:35
30m
Talk
A Generic Type System for Featherweight Java
FTfJP
Ulrich Schöpp fortiss GmbH, P: Chuangjie Xu fortiss GmbH
15:05
30m
Talk
Source code patches from dynamic analysis
FTfJP
P: Indigo Orton University of Cambridge, UK, Alan Mycroft University of Cambridge, UK
15:35
30m
Talk
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
30m
Talk
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
60m
Talk
Keynote
ECOOP and ISSTA Doctoral Symposium
A: Mary Lou Soffa University of Virginia
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
Sebastian Erdweg, Johannes Gutenberg University Mainz, Germany
Yang Liu, Nanyang Technological University, Singapore
Mary Lou Soffa, University of Virginia, USA

15:30
30m
Talk
Robustness Evaluation of Deep Learning System Based on Dempster-Shafer Theory (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Zhouxian Jian Beijing Jiaotong University
16:00
30m
Talk
JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation)
ECOOP and ISSTA Doctoral Symposium
16:30
30m
Talk
AFS: Smart Contract Vulnerability Detection using Code Representation Fusion (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Ben Wang Hohai University
17:00
30m
Talk
Probability Adaptive Random Testing by Particle Swarm Optimization (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Haibo Chen Jiangsu University
16:50 - 18:50
FTfJP Workshop-2FTfJP at FTfJP
16:50
30m
Talk
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
30m
Talk
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
30m
Talk
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
30m
Talk
Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
FTfJP
DOI File Attached
18:50
30m
Talk
JML and OpenJML for Java 16
FTfJP
P: David Cok Safer Software Consulting, LLC
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
90m
Talk
Machine Learning for Developer Productivity
ECOOP and ISSTA Summer School
S: Satish Chandra Facebook
19:20 - 20:00
FTfJP Workshop-3FTfJP at FTfJP
19:20
40m
Live 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
Sebastian Erdweg, Johannes Gutenberg University Mainz, Germany
Yang Liu, Nanyang Technological University, Singapore
Mira Mezini, Technische Universität Darmstadt, Germany
Mary Lou Soffa, University of Virginia, USA

20:30
30m
Talk
Accessible Metamorphic Testing for C++ Software Libraries (Senior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Andrei Lascu Imperial College London
21:00
30m
Talk
Using refactoring features to solve the problem of nested refactoring (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Tan Liang Philipps-Universität Marburg
21:30
30m
Talk
Detecting Near-duplicate States in Web Application Model Inference: a Tree Kernel-based Approach (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Luigi Libero Lucio Starace Federico II University of Naples
22:00
30m
Talk
Quantum Computing & Machine Learning: Towards Provable Guarantees (Senior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Fabian Bauer-Marquart Universität Konstanz

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
90m
Talk
Let me fix that for you: An Overview of Automated Program Repair
ECOOP and ISSTA Summer School
S: Claire Le Goues Carnegie Mellon University
Media Attached
08:00 - 09:30
08:00
90m
Talk
Foundations of Software Testing
ECOOP and ISSTA Summer School
S: Marcel Böhme Monash University
Media Attached
17:00 - 17:20
ECOOP & ISSTA Opening Session (time band 1)ECOOP and ISSTA Opening at Opening
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
60m
Panel
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults
Technical Papers
Nargiz Humbatova USI Lugano, Gunel Jahangirova USI Lugano, Paolo Tonella USI Lugano
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
Posters (time band 1)ECOOP and ISSTA Posters at Posters
20:40
30m
Poster
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
30m
Poster
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
30m
Poster
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
30m
Poster
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
30m
Poster
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 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 00:20
ECOOP & ISSTA Opening Session (time band 2)ECOOP and ISSTA Opening at Opening
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
Gramatron: Effective Grammar-Aware Fuzzing
Technical Papers
Prashast Srivastava Purdue University, Mathias Payer EPFL
DOI Pre-print Media Attached File Attached
01:00
20m
Talk
QFuzz: Quantitative Fuzzing for Side Channels
Technical Papers
Yannic Noller National University of Singapore, Saeid Tizpaz-Niari University of Texas at El Paso
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
Posters (time band 2)ECOOP and ISSTA Posters at Posters
02:20
30m
Poster
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
30m
Poster
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
30m
Poster
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
30m
Poster
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
30m
Poster
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
30m
Poster
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
60m
Panel
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 9 (time band 3) Testing Deep Learning Systems 3Technical Papers at ISSTA 1
Chair(s): Mauro Pezze USI Lugano; Schaffhausen Institute of Technology
09:10
20m
Talk
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
09:30
20m
Talk
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
09:50
20m
Talk
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
10:10
20m
Talk
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
10:30
20m
Talk
DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults
Technical Papers
Nargiz Humbatova USI Lugano, Gunel Jahangirova USI Lugano, Paolo Tonella USI Lugano
DOI
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
Posters (time band 3)ECOOP and ISSTA Posters at Posters
11:10
30m
Poster
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
30m
Poster
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
30m
Poster
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
30m
Poster
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
30m
Poster
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
30m
Poster
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
30m
Poster
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
5m
Other
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
35m
Live 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
35m
Live 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
35m
Live Q&A
echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
Tool Demonstrations
Alex Groce Northern Arizona University, Gustavo Grieco Trail of Bits
18:05
35m
Live 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
35m
Live Q&A
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
Tool Demonstrations
Roberto Natella Federico II University of Naples, Thuan Pham The University of Melbourne
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android
Technical Papers
Austin Mordahl University of Texas at Dallas, Shiyi Wei University of Texas at Dallas
DOI Pre-print
20:00
20m
Talk
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
40m
Panel
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
40m
Panel
Specification and Implementation of Type Systems
ECOOP and ISSTA Discussions with Experts
Eelco Visser Delft University of Technology, Sebastian Erdweg JGU Mainz
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
40m
Panel
Practical Static Analysis and Bug Finding
ECOOP and ISSTA Discussions with Experts
Murali Krishna Ramanathan Uber Technologies Inc., Michael Pradel University of Stuttgart

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
5m
Other
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
35m
Live 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
35m
Live 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
35m
Live 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
20m
Talk
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
20m
Talk
DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Technical Papers
Zixi Liu Nanjing University, Yang Feng Nanjing University, Zhenyu Chen Nanjing University
DOI
02:40
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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:

  1. What are the common or different things in traditional testing vs DL testing? Coverage criteria, mutation operators, regression testing and so on.

  2. How to test or analyse different types of networks like FNN/RNN/DRL? What are the common methods we can follow, and what are the adaptations we need?

  3. How to apply testing/analysis in different applications domains (e.g., security)

03:20
40m
Panel
Testing/Analysis and ML/DL 1
ECOOP and ISSTA Discussions with Experts
Satish Chandra Facebook, Yang Liu Nanyang Technological University
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.

  1. How do we handle loops in symbolic execution?

  2. Existing studies on symbolic execution overwhelmingly focus on integer programs. How do we effectively handle other types such as String and Heap?

  3. How do we effectively combine symbolic execution with alternative techniques such as fuzzing and abstract interpretation?

03:20
40m
Panel
Symbolic Execution
ECOOP and ISSTA Discussions with Experts
Willem Visser Stellenbosch University, South Africa, Jun Sun Singapore Management University
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
40m
Panel
Advances in Type Systems
ECOOP and ISSTA Discussions with Experts
Michael Greenberg Stevens Institute of Technology, Bruno C. d. S. Oliveira University of Hong Kong
08:00 - 09:00
Session 15 (time band 3) Testing 1Technical Papers at ISSTA 1
Chair(s): Phil McMinn University of Sheffield
08:00
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
5m
Other
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
35m
Live 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
35m
Live 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
35m
Live Q&A
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
Tool Demonstrations
Roberto Natella Federico II University of Naples, Thuan Pham The University of Melbourne
09:05
35m
Live 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
35m
Live Q&A
echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
Tool Demonstrations
Alex Groce Northern Arizona University, Gustavo Grieco Trail of Bits
09:05
35m
Live 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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
40m
Panel
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
40m
Panel
Testing/Analysis and ML/DL 2
ECOOP and ISSTA Discussions with Experts
Tao Xie Peking University, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology
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
40m
Panel
Fuzzing
ECOOP and ISSTA Discussions with Experts
Mathias Payer EPFL, Marcel Böhme Monash University
17:00 - 17:55
ISSTA Impact Paper Award TalkKeynotes at Keynote
Chair(s): Cristian Cadar Imperial College London, UK
17:00
55m
Keynote
Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)Keynote
Keynotes
Alessandro Orso Georgia Tech, Chris Parnin North Carolina State University
Media Attached
17:55 - 18:00
ISSTA 2022 Preview (time band 1)ECOOP and ISSTA 2022 Previews at Preview
17:55
5m
Talk
ISSTA 2022 Preview
ECOOP and ISSTA 2022 Previews
Sukyoung Ryu KAIST, Yannis Smaragdakis University of Athens
18:20 - 20:00
Session 19 (time band 1) Testing 2Technical Papers at ISSTA 1
Chair(s): Rohan Padhye Carnegie Mellon University
18:20
20m
Talk
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
20m
Talk
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
20m
Talk
Gramatron: Effective Grammar-Aware Fuzzing
Technical Papers
Prashast Srivastava Purdue University, Mathias Payer EPFL
DOI Pre-print Media Attached File Attached
19:20
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
ECOOP 2022 Preview (time band 1)ECOOP and ISSTA 2022 Previews at Preview
20:55
5m
ECOOP 2022 Preview
ECOOP and ISSTA 2022 Previews
Mira Mezini TU Darmstadt, Germany, Jan Vitek Northeastern University / Czech Technical University

Sat 17 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 00:55
ISSTA Impact Paper Award TalkKeynotes at Keynote
Chair(s): Xiangyu Zhang Purdue University
00:00
55m
Keynote
Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)Keynote
Keynotes
Alessandro Orso Georgia Tech, Chris Parnin North Carolina State University
Media Attached
00:55 - 01:00
ISSTA 2022 Preview (time band 2)ECOOP and ISSTA 2022 Previews at Preview
00:55
5m
Talk
ISSTA 2022 Preview
ECOOP and ISSTA 2022 Previews
Sukyoung Ryu KAIST, Yannis Smaragdakis University of Athens
01:10 - 02:30
Session 21 (time band 2) Testing 3Technical Papers at ISSTA 1
Chair(s): Rohan Padhye Carnegie Mellon University
01:10
20m
Talk
Continuous Test Suite Failure Prediction
Technical Papers
Cong Pan Beihang University, Michael Pradel University of Stuttgart
DOI Media Attached
01:30
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android
Technical Papers
Austin Mordahl University of Texas at Dallas, Shiyi Wei University of Texas at Dallas
DOI Pre-print
03:20
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Technical Papers
Zixi Liu Nanjing University, Yang Feng Nanjing University, Zhenyu Chen Nanjing University
DOI
08:40
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
Continuous Test Suite Failure Prediction
Technical Papers
Cong Pan Beihang University, Michael Pradel University of Stuttgart
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
QFuzz: Quantitative Fuzzing for Side Channels
Technical Papers
Yannic Noller National University of Singapore, Saeid Tizpaz-Niari University of Texas at El Paso
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
ECOOP 2022 Preview (time band 3)ECOOP and ISSTA 2022 Previews at Preview
12:05
5m
ECOOP 2022 Preview
ECOOP and ISSTA 2022 Previews
Mira Mezini TU Darmstadt, Germany, Jan Vitek Northeastern University / Czech Technical University