Publications

  • Alshmrany, K., Menezes, R., Gadelha, M., Cordeiro, L.FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)”. In 24th International Conference on Fundamental Approaches to Software Engineering (FASE), 2021 (to appear).
  • Reger, G., Schoisswohl, J., and Voronkov, A.Making Theory Reasoning Simpler”. In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2021 (to appear).