Yunus Kiliç, Hasan Sözer. Generating runtime verification specifications based on static code analysis alerts. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 1342-1347, ACM, 2017. [doi]
Abstract is missing.