IBM Systems Journal, Volume 41, 2002

Volume 41, Number 1, 2002

• Bill Woodworth:
  Message from the Corporate Director, IBM Software Test.
  
• John J. Ritsko, Marilyn L. Bates:
  Preface. 2-3
  
• Brent Hailpern, Padmanabhan Santhanam:
  Software debugging, testing, and verification. 4-12
  
• Kathryn Bassin, Shriram Biyani, Padmanabhan Santhanam:
  Metrics to evaluate vendor-developed software based on test case execution results. 13-30
  
• Mark Butcher, Hilora Munro, Theresa Kratschmer:
  Improving software testing via ODC: Three case studies. 31-44
  
• Elaine J. Weyuker, Alberto Avritzer:
  A metric for predicting the performance of an application under a growing workload. 45-54
  
• Scott Loveland, Geoffrey Miller, Richard Prewitt, Michael Shannon:
  Testing z/OS: The premier operating system for IBM's zSeries server. 55-73
  
• Clay Williams, Harm Sluiman, David Pitcher, Marius Slavescu, Jim Spratley, Mark Brodhun, John McLean, Charles Rankin, Karen Rosengren:
  The STCL test tools architecture. 74-88
  
• Eitan Farchi, Alan Hartman, Shlomit S. Pinter:
  Using a model-based test generator to test for standard conformance. 89-110
  
• Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur:
  Multithreaded Java program test generation. 111-125
  
• Charles Rankin:
  The Software Testing Automation Framework. 126-139
  
• Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil:
  FLAVERS: A finite state verification technique for software systems. 140-
  

Volume 41, Number 2, 2002

• Steve Mills:
  Message from the Senior Vice President and Group Executive, IBM Software Group.
  
• John J. Ritsko, Alfred G. Davis:
  Preface. 168-169
  
• Karl D. Gottschalk, Stephen Graham, Heather Kreger, James Snell:
  Introduction to Web services architecture. 170-177
  
• Christina Lau, Arthur G. Ryman:
  Developing XML Web services with WebSphere Studio Application Developer. 178-197
  
• Frank Leymann, Dieter Roller, Marc-Thomas Schmidt:
  Web services and business process management. 198-211
  
• Joel A. Farrell, Heather Kreger:
  Web servces management approaches. 212-227
  
• Maryann Hondo, Nataraj Nagaratnam, Anthony J. Nadalin:
  Securing Web services. 228-241
  
• Jakka Sairamesh, Rakesh Mohan, Manoj Kumar, Laurent D. Hasson, Craig Bender:
  A platform for business-to-business sell-side, private exchanges and marketplaces. 242-252
  
• Santhosh Kumaran, Ying Huang, Jen-Yao Chung:
  A framework-based approach to building private trading exchanges. 253-271
  
• Daniel M. Dias, Stewart L. Palmer, James T. Rayfield, Hidayatullah Shaikh, T. K. Sreeram:
  E-commerce interoperability with IBM's WebSphere Commerce products. 272-286
  
• Martin Bichler, Jayant Kalagnanam, Kaan Katircioglu, Alan J. King, Richard D. Lawrence, Ho Soo Lee, Grace Y. Lin, Yingdong Lu:
  Applications of flexible pricing in business-to-business electronic commerce. 287-302
  
• Richard Goodwin, SweeFen Goh, Frederick Y. Wu:
  Instance-level access control for business-to-business electronic commerce. 303-
  

Volume 41, Number 3, 2002

• Alfred Z. Spector:
  Message from the Vice President, Serivces and Software, Research Division.
  
• Se June Hong, John J. Ritsko, Alexander Birman:
  Preface. 328-330
  
• John F. Sowa:
  Architectures for intelligent systems. 331-349
  
• Joseph P. Bigus, Don A. Schlosnagle, Jeff R. Pilgrim, W. Nathaniel Mills III, Yixin Diao:
  ABLE: A toolkit for building multiagent autonomic systems. 350-371
  
• Mark Brodie, Irina Rish, Sheng Ma:
  Intelligent probing: A cost-effective approach to fault diagnosis in computer networks. 372-385
  
• Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv:
  Using a constraint satisfaction formulation and solution techniques for random test program generation. 386-402
  
• Yixin Diao, Joseph L. Hellerstein, Sujay S. Parekh:
  Using fuzzy control to maximize profits in service level management. 403-420
  
• Sholom M. Weiss, Chidanand Apté:
  Automated generation of model cases for help-desk applications. 421-427
  
• David E. Johnson, Frank J. Oles, Tong Zhang, Thilo Götz:
  A decision-tree-based symbolic rule induction system for text categorization. 428-437
  
• Chidanand Apté, Ramesh Natarajan, Edwin P. D. Pednault, Fateh Tipu:
  A probabilistic estimation framework for predictive modeling analytics. 438-448
  
• Daniel Oblinger, Mark D. Reid, Mark Brodie, Rodrigo de Salvo Braz:
  Cross training and its application to skill mining. 449-460
  
• Ricardo Vilalta, Chidanand Apté, Joseph L. Hellerstein, Sheng Ma, Sholom M. Weiss:
  Predictive algorithms in the management of computer systems. 461-474
  
• Joseph L. Hellerstein, Sheng Ma, Chang-Shing Perng:
  Discovering actionable patterns in event data. 475-493
  
• Michael P. Perrone, Gregory F. Russell, Aiman Ziq:
  Machine learning in a multimedia document retrieval framework. 494-503
  
• Michelle X. Zhou, Sheng Ma, Ying Feng:
  Applying machine learning to automated information graphics generation. 504-523
  

• Ian F. Brackenbury, Yael Ravin: Machine intelligence and the Turing Test. 524-
• John McCarthy, Marvin Minsky, Aaron Sloman, Leiguang Gong, Tessa A. Lau, Leora Morgenstern, Erik T. Mueller, Doug Riecken, Moninder Singh, Push Singh: An architecture of diversity for commonsense reasoning.

Volume 41, Number 4, 2002

• Janet Perna:
  Message from the General Manager, Data Management Solutions, IBM Software Group.
  
• John J. Ritsko, Marilyn L. Bates:
  Preface. 553-554
  
• Anant Jhingran, Nelson Mendonça Mattos, Hamid Pirahesh:
  Information integration: A research agenda. 555-562
  
• Mary Tork Roth, Daniel C. Wolfson, Jim Kleewein, Constance J. Nelin:
  Information integration: A new generation of information technology. 563-577
  
• Laura M. Haas, Eileen Tien Lin, Mary Tork Roth:
  Data integration through database federation. 578-596
  
• Donald D. Chamberlin:
  XQuery: An XML query language. 597-615
  
• John E. Funderburk, Gerald Kiernan, Jayavel Shanmugasundaram, Eugene J. Shekita, Catalina Wei:
  XTABLES: Bridging relational technology and XML. 616-641
  
• John E. Funderburk, Susan Malaika, Berthold Reinwald:
  XML programming with SQL/XML and XQuery. 642-665
  
• Susan Malaika, Constance J. Nelin, Rong Qu, Berthold Reinwald, Daniel C. Wolfson:
  DB2 and Web services. 666-685
  
• Amit Somani, David Choy, Jim Kleewein:
  Bringing together content and data management systems: Challenges and opportunities. 686-696
  
• William F. Cody, Jeffrey T. Kreulen, Vikas Krishna, W. Scott Spangler:
  The integration of business intelligence and knowledge management. 697-713
  
• Nathan G. Colossi, William Malloy, Berthold Reinwald:
  Relational extensions for OLAP. 714-731
  
• Frank Leymann, Dieter Roller:
  Using flows in information integration. 732-742
  
• Mandy Chessell, Catherine Griffin, David Vines, Michael J. Butler, Carla Ferreira, Peter Henderson:
  Extending the concept of transaction compensation. 743-758
  
• Scott E. Fahlman:
  Selling interrupt rights: A way to control unwanted e-mail and telephone calls. 759-