Explore topics

Topic for property testing and random data generation for property testing