Benefits and limitations of automated software testing: Systematic literature review and practitioner survey | Synapse