SPIDER: Specification-based Integration Defect Revealer. - Vladislav Feofilaktov; Vladimir M. Itsykson (CoRR, 2022)