Glados is a property-based testing framework for Dart that enables automated testing through...