Marinos Tsantekidis, Vassilis Prevelakis. Software System Exploration Using Library Call Analysis. In George Hatzivasilis, Sotiris Ioannidis, editors, Model-driven Simulation and Training Environments for Cybersecurity - Second International Workshop, MSTEC 2020, Guildford, UK, September 14-18, 2020, Revised Selected Papers. Volume 12512 of Lecture Notes in Computer Science, pages 125-139, Springer, 2020. [doi]
Abstract is missing.