ICSE 2024 (series) / KLEE 2024 (series) / KLEE 2024 /
Automated Generation of Database Mocks with Symbolic Execution
Mon 15 Apr 2024 14:44 - 15:06 at Maria Helena Vieira da Silva - Grammars, Concurrency, Mocking and Constraints Chair(s): Abhik Roychoudhury
Mon 15 AprDisplayed time zone: Lisbon change
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 22mTalk | Symbolic Grammar Mining KLEE P: Leon Bettscheider CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
14:22 22mTalk | 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 22mTalk | 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 22mTalk | 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 | ||