Weighted model counting (WMC) solvers play a key role in Bayesian inference applications, used for medical diagnosis [17] [16] and risk assessment [14]. Ongoing efforts to improve WMC solver developers aim to develop a fuzzer to identify bugs. This research is aimed at enhancing the quality of this fuzzer by developing an additional method to generate WMC instances, EXTREMEgen [21]. The functionality of this new approach relies on generating practical instances from Bayesian networks and breaking the solvers using extreme weights. Our empirical experiments show that EXTREMEgen exposes bugs in state-ofthe-art WMC solvers. The generated instances are solved fast enough to be usable in fuzzing. However, generation speed needs to be optimized to become practical for fuzzing. When optimized, EXTREMEgen could become the first generator of WMC instances specifically designed for fuzzing.

Unlike traditional blur filters, the bilateral filter exhibits non-linear blur behaviour as its kernel size increases. This atypical blur behaviour makes it challenging to find a good σr . This paper investigates the underlying reasons for this behaviour and proposes methods to align the bilateral filter’s blur scaling linearly with its spatial filter size. Using local frequency analyses to quantify blur levels, we introduce an approach that finds the best σr through iterative search. Results demonstrate that the pro- posed method effectively counters the atypical blur behaviour. However, the proposed method does not perform sufficiently when handling very large kernel sizes. The proposed method can be used to abstract away the σr parameter when seeking linear blur behaviour in the bilateral filter. Further re- search is needed to make it functional for very large kernel sizes.