How a Symbolic Evaluator Generates Test Input for this Example Posted by Lance Pollard, at cs.stackexchange.com, 20 Jul 2018 Say we have some complicated function that determines if a string matches an XSS attack string, and throws an error or does…