Automatic patch generation by learning correct code
Automated repair of HTML generation errors in PHP applications using string constraint solving