MCBAT: a practical tool for model counting constraints on bounded integer arrays. - Abtin Molavi; Mara Downing; Tommy Schneider; Lucas Bang (ESEC/SIGSOFT FSE, 2020)

MCBAT: Model Counting for Constraints over Bounded Integer Arrays. - Abtin Molavi; Tommy Schneider; Mara Downing; Lucas Bang (VSTTE, 2020)