ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 10 Issue 1, Jan. 2001

A slicing-based approach for locating type errors
F. Tip, T. B. Dinesh
Pages: 5-55
DOI: 10.1145/366378.366379
The effectiveness of a type-checking tool strongly depends on the accuracy of the positional information that is associated with type errors. We present an approach where the location associated with an error message e is...

TACCLE: a methodology for object-oriented software testing at the class and cluster levels
Huo Yan Chen, T. H. Tse, T. Y. Chen
Pages: 56-109
DOI: 10.1145/366378.366380
Object-oriented programming consists of several different levels of abstraction, namely, the algorithmic level, class level, cluster level, and system level. The testing of object-oriented software at the algorithmic and system levels is similar...

A methodology for testing spreadsheets
Gregg Rothermel, Margaret Burnett, Lixin Li, Christopher Dupuis, Andrei Sheretov
Pages: 110-147
DOI: 10.1145/366378.366385
Spreadsheet languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, however, that spreadsheets often contain faults; thus, we would like to provide at...