Validating the Unit Correctness of Spreadsheet Programs.

Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen

Browse the full ICSE paper archive.