Automated repair of HTML generation errors in PHP applications using string constraint solving

Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren. Automated repair of HTML generation errors in PHP applications using string constraint solving. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 277-287, IEEE, 2012. [doi]

@inproceedings{SamirniSAMTH12,
  title = {Automated repair of HTML generation errors in PHP applications using string constraint solving},
  author = {Hesam Samimi and Max Schäfer and Shay Artzi and Todd D. Millstein and Frank Tip and Laurie J. Hendren},
  year = {2012},
  doi = {10.1109/ICSE.2012.6227186},
  url = {http://dx.doi.org/10.1109/ICSE.2012.6227186},
  researchr = {https://researchr.org/publication/SamirniSAMTH12},
  cites = {0},
  citedby = {0},
  pages = {277-287},
  booktitle = {34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland},
  editor = {Martin Glinz and Gail C. Murphy and Mauro Pezzè},
  publisher = {IEEE},
  isbn = {978-1-4673-1067-3},
}