A Flexible Environment for Program Development Based on a Symbolic Interpreter

@inproceedings{Asirelli-al:ICSE79,
  author    = {Patrizia Asirelli and
               Pierpaolo Degano and
               Giorgio Levi and
               Alberto Martelli and
               Ugo Montanari and
               Giuliano Pacini and
               Franco Sirovich and
               Franco Turini},
  title     = {A Flexible Environment for Program Development Based on a Symbolic Interpreter},
  booktitle = {ICSE},
  pages     = {251--264},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}