Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data
Distribution of the number of citations over years.