Automatic error elimination by horizontal code transfer across multiple applications
Automated repair of HTML generation errors in PHP applications using string constraint solving