ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal

Mon 15 Apr

Displayed time zone: Lisbon change

14:00 - 15:30
Grammars, Concurrency, Mocking and ConstraintsKLEE at Maria Helena Vieira da Silva
Chair(s): Abhik Roychoudhury National University of Singapore
14:00
22m
Talk
Symbolic Grammar Mining
KLEE
P: Leon Bettscheider CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
14:22
22m
Talk
Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs
KLEE
Azalea Raad Imperial College London, P: Julien Vanegue Bloomberg, USA, Josh Berdine SkipLabs, Peter O'Hearn University College London, UK and Lacework, London, UK
14:44
22m
Talk
Automated Generation of Database Mocks with Symbolic Execution
KLEE
Cesar Cornejo University of Rio Cuarto and CONICET, Agustín Borda Dept. of Computer Science FCEFQyN, University of Rio Cuarto, P: Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Germán Regis University of Rio Cuarto and CONICET
15:06
22m
Talk
Symbolic Execution Oriented Constraint Solving
KLEE
P: Zhenbang Chen School of Computer, National University of Defense Technology, China, Ziqi Shuai School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Zehua Chen College of Computer, National University of Defense Technology, Guofeng Zhang Hunan University, Jun Sun Singapore Management University, Wei Dong National University of Defense Technology, Ji Wang School of Computer, National University of Defense Technology, China
Hide past events