- https://dl.acm.org/doi/10.1145/3209108.3209109
- https://research.fb.com/publications/continuous-reasoning-scaling-the-impact-of-formal-methods/
- https://www.researchgate.net/publication/349934738_Quality-Aware_DevOps_Research_Where_Do_We_Stand
- https://arxiv.org/abs/2009.10245
- https://arxiv.org/abs/2010.16345
- https://onlinelibrary.wiley.com/doi/full/10.1002/spe.2949
- https://www.cs.fsu.edu/~grigory/adt-sim.pdf
- http://mitras.ece.illinois.edu/research/2021/GRAIC_CI_ICRAWP.pdf
- https://assets.amazon.science/4e/23/177acd514c799204ae22f98e193d/verified-cryptographic-code-for-everybody.pdf