STRL: a reinforcement learning framework for efficient and comprehensive software testing | Synapse