Handling Heap Data Structures in Backward Symbolic Execution

Robert Husák, Jan Kofron, Filip Zavoral. Handling Heap Data Structures in Backward Symbolic Execution. In Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas, editors, Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Volume 12233 of Lecture Notes in Computer Science, pages 537-556, Springer, 2019. [doi]

Authors

Robert Husák

This author has not been identified. Look up 'Robert Husák' in Google

Jan Kofron

This author has not been identified. Look up 'Jan Kofron' in Google

Filip Zavoral

This author has not been identified. Look up 'Filip Zavoral' in Google