Quasipolynomial Computation of Nested Fixpoints

по Hausmann, Daniel, Schröder, Lutz
Опубликовано в: Tools and Algorithms for the Construction and Analysis of Systems (2021)

A Study of Symmetry Breaking Predicates and Model Counting

по Wang, Wenxi, Usman, Muhammad, Almaawi, Alyas, Wang, Kaiyuan, Meel, Kuldeep S., Khurshid, Sarfraz
Опубликовано в: Tools and Algorithms for the Construction and Analysis of Systems (2020)

Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests

по Wei, Anjiang, Yi, Pu, Xie, Tao, Marinov, Darko, Lam, Wing
Опубликовано в: Tools and Algorithms for the Construction and Analysis of Systems (2021)