@misc{indiciaef6055a266c09,
  title = {SPIDER: Specification-based Integration Defect Revealer},
  author = {Vladislav Feofilaktov and Vladimir Itsykson},
  year = {2022},
  url = {https://arxiv.org/abs/2202.03943},
  note = {Source identifier: 2202.03943}
}