Semantic bug seeding: a learning-based approach for creating realistic bugs | Synapse