Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020

0 results

People (1 results)
Luca Berardinelli

Luca Berardinelli

Johannes Kepler University Linz

… , U-TEST, all available on https://cordis.europa.eu/), working on MDE approaches …

Events (16 results)

Scalable Build Service System with Smart Scheduling Service

Technical Papers When: Wed 22 Jul 2020 13:30 - 13:50 People: Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, Daniel Rall

… Build automation is critical for developers to check if their code compiles, passes all tests and is safe to deploy to the server. Many companies adopt … and thousands of developers, it is hard to make sure that all code changes are safe …

How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug Injection

Technical Papers When: Wed 22 Jul 2020 12:10 - 12:30 People: Asem Ghaleb, Karthik Pattabiraman

… on injecting bugs (i.e., code defects) into all potential locations in a smart contract … such bugs, and all the tools report many false positives. …

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

Doctoral Symposium When: Sat 18 Jul 2020 09:00 - 10:00

… , and dynamic and static analyses of all stripes). How did APR get to where …

TauJud: Test Augmentation of Machine Learning in Judicial Documents

Tool Demonstration When: Wed 22 Jul 2020 17:19 - 17:26 People: Zichen Guo, Jiawei Liu, Tieke He, Zhuoyang Li, Peitian Zhangzhu

… The booming of big data makes it a reality in the judicial field to solve problems using machine learning technology. As we all know, a large amount of test data can better reflect the performance of the model, so the test data must …

Attending Information (1 results)

Code of Conduct

. This requires an environment that enables all to participate without fear of harassment … thereof).

All communication should be appropriate for a technical audience …

Tracks (7 results)

Doctoral Symposium

… not exceed 4 pages, including all text, figures, tables, and appendices; one additional … transformation, and dynamic and static analyses of all stripes). How did APR get … the University of Virginia and a BA from Harvard College, all in Computer Science …

Student Volunteers

… from all over the world that share your interest in testing and program analysis … to be a Student Volunteer and help us make ISSTA 2020 a unique experience for all

  • A complimentary conference registration, offering access to all open sessions (i.e., parallel …

1st International Workshop on Smart Contract Analysis (WoSCA 2020)

… .

This workshop is broadly focused, and considers all approaches to analyzing … deadline for all submissions is MAY 22, 2020JUNE 26, 2020.

Camera …

General (1 results)

ISSTA 2020 Homepage

… with speakers.

All sessions (except for the doctoral symposium) will also …). There is a 10-30 second delay between Zoom and YouTube, so we strongly encourage all