Validating the unit correctness of spreadsheet programs (2004)

by T ANTONIU, P A STECKLER, S KRISHNAMURTHI, E NEUWIRTH, M FELLEISEN
Venue:International Conference on Software Engineering, Edinberg