... By combining both the preliminary and the systematic repository search we thus construct a very rich and diverse corpus of 386 relevant publications, that is, by construction, both relevant in terms of coverage of the different aspects 186-188, 190, 191, 193-197, 199, 200, 204-208, 210- (57): [9, 22, 28, 36, 47, 58, 70, 79-81, 85, 89, 92, 105, 124, 124, 128, 130, 149, 152, 153, 175, 181, 188, 191, 196, 197, 201, 203, 207, 222, 223, 226, 228, 240, 247, 253, 254, 256, 260, 268, 271, 279, 291, 292, 298, 312, 313, 322, 328, 333, 334, 356, 374-376, 383], report (54): [3, 5, 21, 23, 48, 51, 78, 87, 99, 102, 115, 121, 129, 134, 135, 141, 142, 145, 157, 161, 165, 168, 171, 176, 177, 180, 183, 193, 194, 205, 212, 224, 227, 235, 244-246, 257, 273, 283, 290, 295, 308, 321, 329-331, 339, 340, 342, 350, 355, 359, 390], search (22): [18,19,24,29,39,42,53,103,113,155,159,236,237,239,241,288,297,353,[365][366][367]370] Search static (204) (20) and IEEE (26). Despite this, the corpus contains two papers simultaneously returned by ACM, IEEE, Scopus, and our manual search [328,375]. ...