Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion. Specification of concretization and symbolization policies in symbolic execution. In Andreas Zeller, Abhik Roychoudhury, editors, Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016. pages 36-46, ACM, 2016. [doi]
Abstract is missing.