ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Tue 16 Apr 2024 11:22 - 11:44 at Maria Helena Vieira da Silva - Program Repair & Keynote Chair(s): Martin Nowack

Tue 16 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
Program Repair & KeynoteKLEE at Maria Helena Vieira da Silva
Chair(s): Martin Nowack Imperial College London
11:00
22m
Talk
Concolic Program Repair
KLEE
P: Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller Singapore University of Technology and Design, Lars Grunske Humboldt-Universität zu Berlin, Abhik Roychoudhury National University of Singapore
Link to publication DOI Pre-print
11:22
22m
Talk
Program Repair Guided by Datalog-defined Static Analysis
KLEE
Yu Liu National University of Singapore, P: Sergey Mechtaev University College London, Pavle Subotic Fantom Foundation, Abhik Roychoudhury National University of Singapore
11:44
46m
Keynote
Symbolic PathFinder: Symbolic Execution for Java
KLEE
Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Hide past events