Post #1055818

Ironically, the (wrong) term of art is very popular in ACM conferences, which precisely define the terms in its artifact review and badging guidelines (version 1.1, current): https://www.acm.org/publications/policies/artifact-review-and-badging-current (Yes, I know this comes from the historical mistake ACM did with version 1.0, where the definitions were wrong. But it has been fixed 6 years ago, in 2020.)