@inproceedings{reachability,
 author = {Lee, Seongmin and B\"{o}hme, Marcel},
 title = {Statistical Reachability Analysis},
 booktitle = {Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
 series = {ESEC/FSE 2023},
 year = {2023},
 pages = {12},
 doi = {10.1145/3611643.3616268}
}