%0 Journal Article %1 journals/corr/abs-2202-03943 %A Feofilaktov, Vladislav %A Itsykson, Vladimir M. %D 2022 %J CoRR %K dblp %T SPIDER: Specification-based Integration Defect Revealer. %U http://dblp.uni-trier.de/db/journals/corr/corr2202.html#abs-2202-03943 %V abs/2202.03943

@article{journals/corr/abs-2202-03943, added-at = {2022-02-10T00:00:00.000+0100}, author = {Feofilaktov, Vladislav and Itsykson, Vladimir M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23cfc675ff9f3ace5c2723b6ecb76bd67/dblp}, ee = {https://arxiv.org/abs/2202.03943}, interhash = {e865fdc2dc07ca29a1bfeaea45e6d2c9}, intrahash = {3cfc675ff9f3ace5c2723b6ecb76bd67}, journal = {CoRR}, keywords = {dblp}, timestamp = {2022-03-01T06:38:42.000+0100}, title = {SPIDER: Specification-based Integration Defect Revealer.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2202.html#abs-2202-03943}, volume = {abs/2202.03943}, year = 2022 }