Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Wed 11 May 2022 03:05 - 03:10 at ICSE Poster room - Poster Session 2 Chair(s): Elena Sherman

Symbolic execution is a widely employed technique in vulnerability detection tools. It faces state space explosion problems while analyzing programs interacting with dynamically allocated memory. In this work we present Garuda that makes the symbolic execution heap-aware to mitigate the state space explosion problem. We show that Garuda can detect already known vulnerabilities in real-world software and can generate inputs to trigger 2 more safety violations than the winner of the TestComp2021 testing competition in the competition’s benchmarks.

Wed 11 May

Displayed time zone: Eastern Time (US & Canada) change

03:00 - 04:00
Poster Session 2Posters at ICSE Poster room
Chair(s): Elena Sherman Boise State University
03:00
5m
Poster
A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code
Posters
Ho Young Jhoo Seoul National University, Sehoon Kim Seoul National University, Woosung Song Seoul National University, Kyuyeon Park Seoul National University, DongKwon Lee Seoul National University, South Korea, Kwangkeun Yi Seoul National University, South Korea
Pre-print
03:05
5m
Poster
Garuda: Heap aware symbolic execution
Posters
Ajinkya Rajput , Dr. K. Gopinath Indian Institute of Science, Banglore
03:10
5m
Poster
The Symptoms, Causes, and Repairs of Workarounds in Apache Issue Trackers
Posters
Aoyang Yan Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University, Daohan Song Shanghai Jiao Tong University, Li Jia Shanghai Jiao Tong University
03:15
5m
Poster
CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code
Posters
Aryaz Eghbali University of Stuttgart, Michael Pradel University of Stuttgart
03:20
5m
Poster
CRISCE: Towards Generating Test Cases from Accident Sketches
Posters
Vuong Nguyen University of Passau, Alessio Gambi University of Passau, Jasim Ahmed University of Passau, Gordon Fraser University of Passau
03:25
5m
Poster
Deep Learning-based Production and Test Bug Report Classification using Source Files
Posters
Misoo Kim Sungkyunkwan University, Youngkyoung Kim Sungkyunkwan University, Eunseok Lee Sungkyunkwan University

Information for Participants
Wed 11 May 2022 03:00 - 04:00 at ICSE Poster room - Poster Session 2 Chair(s): Elena Sherman
Info for room ICSE Poster room:

Click here to go to the room on Midspace