Automated repair of HTML generation errors in PHP applications using string constraint solving.
Hesam SamimiMax SchäferShay ArtziTodd D. MillsteinFrank TipLaurie J. HendrenPublished in: ICSE (2012)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint solver
- constraint satisfaction
- open source
- information extraction
- php and mysql
- constraint solvers
- database applications
- finite domain
- constraint programming
- website
- data structure
- regular expressions
- pattern matching
- web applications
- object oriented
- error detection
- string matching
- edit distance