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]
@inproceedings{FirstB22,
title = {Diversity-Driven Automated Formal Verification},
author = {Emily First and Yuriy Brun},
year = {2022},
doi = {10.1145/3510003.3510138},
url = {https://doi.org/10.1145/3510003.3510138},
researchr = {https://researchr.org/publication/FirstB22},
cites = {0},
citedby = {0},
pages = {1-13},
booktitle = {44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022},
publisher = {IEEE},
isbn = {978-1-4503-9221-1},
}