Yannic Noller, Rody Kersten, Corina S. Pasareanu. Badger: complexity analysis with fuzzing and symbolic execution. In Frank Tip, Eric Bodden, editors, Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. pages 322-332, ACM, 2018. [doi]
Abstract is missing.