Specification of concretization and symbolization policies in symbolic execution.

Robin David, Sbastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion

Browse the full ISSTA paper archive.