Code Coverage Criteria for Asynchronous Programs. - Mohammad Ganji; Saba Alimadadi; Frank Tip (ESEC/SIGSOFT FSE, 2023)