Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Emily First, Yuriy Brun. Diversity-Driven Automated Formal Verification. In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022. pages 1-13, IEEE, 2022. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Passport: Improving Automated Formal Verification Using IdentifiersSanchez-Stern, Alex, First, Emily, Zhou, Timothy, Kaufman, Zhanna, Brun, Yuriy, Ringer, Talia. ACM Trans. Program. Lang. Syst., 45(2), jun 2023. [doi]
The following publications are possibly variants of this publication: