Abtin Molavi Mara Downing Tommy Schneider Lucas Bang MCBAT: a practical tool for model counting constraints on bounded integer arrays. 1596-1600 2020 ESEC/SIGSOFT FSE https://doi.org/10.1145/3368089.3417937 conf/sigsoft/2020 db/conf/sigsoft/fse2020.html#MolaviDSB20