Exhaustive and randomized testing of Dart properties