@article{praxisintegratingprogramanalysiswithobse,
  title = {PRAXIS: Integrating Program Analysis with Observability for Root-Cause Analysis},
  author = {Shengkun Cui and Rahul Krishna and Saurabh Jha and Ravishankar K. Iyer},
  year = {2025},
  eprint = {2512.22113},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2512.22113},
}