Text this: Automatic concurrency defect detection for Android applications