Bounded-exhaustive testing (BET), which exercises a program under test for all inputs up to some bounds, is an effective method detecting software bugs. Systematic property-based BET approach where developers write generation programs that describe properties of inputs. Hybrid offer the most expressive way desired by freely combining declarative filters and imperative generators. However, explo...