ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 10

Volume 10, Number 1, January 2001

• Frank Tip, T. B. Dinesh:
  A slicing-based approach for locating type errors. 5-55
  
• Huo Yan Chen, T. H. Tse, Tsong Yueh Chen:
  TACCLE: a methodology for object-oriented software testing at the class and cluster levels. 56-109
  
• Gregg Rothermel, Margaret M. Burnett, Lixin Li, Christopher DuPuis, Andrei Sheretov:
  A methodology for testing spreadsheets. 110-147
  

Volume 10, Number 2, April 2001

• John Bible, Gregg Rothermel, David S. Rosenblum:
  A comparative study of coarse- and fine-grained safe regression test-selection techniques. 149-183
  
• Todd L. Graves, Mary Jean Harrold, Jung-Min Kim, Adam A. Porter, Gregg Rothermel:
  An empirical study of regression test selection techiques. 184-208
  
• Saurabh Sinha, Mary Jean Harrold, Gregg Rothermel:
  Interprocedural control dependence. 209-254
  

Volume 10, Number 3, July 2001

• Angelo Gargantini, Angelo Morzenti:
  Automated deductive requirements analysis of critical systems. 255-307
  
• Dewayne E. Perry, Harvey P. Siy, Lawrence G. Votta:
  Parallel changes in large-scale software development: an observational case study. 308-337
  
• Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann:
  Reasoning about code mobility with mobile UNITY. 338-395
  

Volume 10, Number 4, October 2001

• Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang:
  Modeling statecharts and activitycharts as signal equations. 397-451
  
• Angela Bonifati, Fabiano Cattaneo, Stefano Ceri, Alfonso Fuggetta, Stefano Paraboschi:
  Designing data marts for data warehouses. 452-483
  

Last update Sat May 18 20:59:56 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page