A System to Improve incorrect Programs

@inproceedings{Wertz:ICSE79,
  author    = {Harald Wertz},
  title     = {A System to Improve incorrect Programs},
  booktitle = {ICSE},
  pages     = {286--293},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}