ISSTA 2020

ISSTA 2020
29th ACM SIGSOFT International Symposium on Software Testing and Analysis
Event in series	ISSTA
Dates	2020/07/18 (iCal) - 2020/07/22
Homepage:	https://conf.researchr.org/home/issta-2020
Location
Location:	Los Angeles, Online
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":34.0536909,"lon":-118.242766,"icon":""}],"imageoverlays":null}
Papers:	Submitted 162 / Accepted 43 (26.5 %)
Committees
Organizers:	Ismet Burak Kadron
General chairs:	Sarfraz Khurshid
PC chairs:	Corina S. Păsăreanu
Workshop chairs:	Oksana Tkachuk, Lingming Zhang
Demo chairs:	Owolabi Legunsen, Tingting Yu
Keynote speaker:	Barbara Liskov
Table of Contents

29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '20), July 18 - 22, 2020 Virtual Event, USA

The ACM SIGSOFT International Symposium on Software Testing and Analysis is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.

Due to the COVID-19 situation, ISSTA 2020 will no longer held in person in Los Angeles. ISSTA 2020 will be held as a virtual conference on July 18-22, 2020, and will be accompanied by two workshops, a doctoral symposium, a tool demo track, and a summer school.

Workshops

• 1st International Workshop on Smart Contract Analysis (WoSCA 2020)
• Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things

(TAV-CSP/IoT)