A Flexible Environment for Program Development Based on a Symbolic Interpreter.

Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini

Browse the full ICSE paper archive.