Ciprian Paduraru, Bogdan Ghimis, Alin Stefanescu. RiverConc: An Open-source Concolic Execution Engine for x86 Binaries. In Marten van Sinderen, Hans-Georg Fill, Leszek A. Maciaszek, editors, Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020. pages 529-536, ScitePress, 2020. [doi]
Abstract is missing.