IEEE Transactions on Software Engineering (TSE), Volume 29

Volume 29, Number 1, January 2003

Papers

• 
  Fan Zhang, To-Yat Cheung:
  Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines. 1-14
• 
  Haiping Xu, Sol M. Shatz:
  A Framework for Model-Based Design of Agent-Oriented Software. 15-30
• 
  Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding:
  A Formal Architectural Model for Logical Agent Mobility. 31-45
• 
  Richard Lai, Sun-Jen Huang:
  A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation. 46-62
• 
  Ping-Yu Hsu, Yuan-Bin Chang, Yen-Liang Chen:
  STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects. 63-76
• 
  Rajendra K. Bandi, Vijay K. Vaishnavi, Daniel E. Turk:
  Predicting Maintenance Performance Using Object-Oriented Design Complexity Metrics. 77-87

Short Papers

• 
  Philip J. Boland, Harshinder Singh, Bojan Cukic:
  Comparing Partition and Random Testing via Majorization and Schur Functions. 88-94

Volume 29, Number 2, February 2003

Special Section on the 2001 International Conference on Software Engineering

• 
  Mary Jean Harrold, Wilhelm Schäfer:
  Guest Editors' Introduction. 97-98
• 
  Sebastián Uchitel, Jeff Kramer, Jeff Magee:
  Synthesis of Behavioral Models from Scenarios. 99-115
• 
  Alexander Egyed:
  A Scenario-Driven Approach to Trace Dependency Analysis. 116-132
• 
  Laura K. Dillon, Kurt Stirewalt:
  Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components. 133-150
• 
  Annie I. Antón, Colin Potts:
  Functional Paleontology: The Evolution of User-Visible System Services. 151-166

Regular Papers

• 
  Padmal Vitharana, Keshavamurthy Ramamurthy:
  Computer-Mediated Group Support, Anonymity, and the Software Inspection Process: An Empirical Investigation. 167-180
• 
  Lisandra V. Manzoni, Roberto Tom Price:
  Identifying Extensions Required by RUP (Rational Unified Process) to Comply with CMM (Capability Maturity Model) Levels 2 and 3. 181-192

Volume 29, Number 3, March 2003

Special Section on the International Conference on Software Maintenance

• 
  Gerardo Canfora, Anneliese Amschler Andrews:
  Guest Editors' Introduction: 2001 International Conference on Software Maintenance. 193-194
• 
  James A. Jones, Mary Jean Harrold:
  Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage. 195-209
• 
  Thomas Eisenbarth, Rainer Koschke, Daniel Simon:
  Locating Features in Source Code. 210-224
• 
  Alessandro Bianchi, Danilo Caivano, Vittorio Marengo, Giuseppe Visaggio:
  Iterative Reengineering of Legacy Systems. 225-241

Regular Papers

• 
  Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo:
  Adding Roles to CORBA Objects. 242-260
• 
  Chin-Yu Huang, Michael R. Lyu, Sy-Yen Kuo:
  A Unified Scheme of Some Nonhomogenous Poisson Process Models for Software Reliability Estimation. 261-269
• 
  Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale:
  Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics. 270-287

Short Papers

• 
  Chia Hung Kao:
  Comments on "Quality, Productivity, and Learning in Framework-Based Development: An Exploratory Case Study". 288

Volume 29, Number 4, April 2003

Editorial

• 
  John C. Knight:
  Editorial: AE Introduction. 289

Regular Papers

• 
  Robert Grover Little Jr., Michael L. Gibson:
  Perceived Influences on Implementing Data Warehousing. 290-296
• 
  Ramanath Subramanyam, Mayuram S. Krishnan:
  Empirical Analysis of CK Metrics for Object-Oriented Design Complexity: Implications for Software Defects. 297-310
• 
  David B. Stewart, Gaurav Arora:
  A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System. 311-326
• 
  Sun-Jen Huang, Richard Lai:
  Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification. 327-344
• 
  Peter T. Popov, Lorenzo Strigini, John H. R. May, Silke Kuball:
  Estimating Bounds on the Reliability of Diverse Systems. 345-359
• 
  Songwen Xu, Yam San Chee:
  Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems. 360-384

Volume 29, Number 5, May 2003

Papers

• 
  Stefan Biffl, Michael Halling:
  Investigating the Defect Detection Effectiveness and Cost Benefit of Nominal Inspection Teams. 385-397
• 
  Erik Stensrud, Ingunn Myrtveit:
  Identifying High Performance ERP Projects. 398-416
• 
  Stacy J. Prowell, Jesse H. Poore:
  Foundations of Sequence-Based Software Specification. 417-429
• 
  João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur:
  Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process. 430-443
• 
  Alan T. Sherman, David A. McGrew:
  Key Establishment in Large Dynamic Groups Using One-Way Function Trees. 444-458
• 
  Franck Barbier, Brian Henderson-Sellers, Annig Le Parc, Jean-Michel Bruel:
  Formalization of the Whole-Part Relationship in the Unified Modeling Language. 459-470

Short Papers

• 
  Min Xie, Bo Yang:
  A Study of the Effect of Imperfect Debugging on Software Development Cost. 471-473
• 
  Tim Menzies, Justin S. Di Stefano:
  More Success and Failure Factors in Software Reuse. 474-477
• 
  Maurizio Morisio, Michel Ezran, Colin Tully:
  Comments on "More Success and Failure Factors in Software Reuse". 478-479

Volume 29, Number 6, June 2003

Papers

• 
  James D. Herbsleb, Audris Mockus:
  An Empirical Study of Speed and Communication in Globally Distributed Software Development. 481-494
• 
  Paolo Tonella:
  Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis. 495-509
• 
  Antonella Santone:
  Heuristic Search + Local Model Checking in Selective mu-Calculus. 510-523
• 
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
  Model-Checking Algorithms for Continuous-Time Markov Chains. 524-541
• 
  Barbara A. Kitchenham, Lesley Pickard, Stephen G. Linkman, Peter W. Jones:
  Modeling Software Bidding Risks. 542-554
• 
  Brad Long, Daniel Hoffman, Paul A. Strooper:
  Tool Support for Testing Concurrent Java Components. 555-566

Short Papers

• 
  Daniel M. Berry, Walter F. Tichy:
  Comments on "Formal Methods Application: An Empirical Tale of Software Development". 567-571
• 
  Ann E. Kelley Sobel, Michael R. Clarkson:
  Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'". 572-575
• 
  Jinghong Cox Chen, Hewijin Christine Jiau:
  Comments on "On Object Systems and Behavior Inheritance". 576
• 
  Orna Kupferman, David Harel:
  Response to "Comments on 'On Object Systems and Behavior Inheritance'". 576

Volume 29, Number 7, July 2003

Papers

• 
  Tsong Yueh Chen, Pak-Lok Poon, T. H. Tse:
  A Choice Relation Framework for Supporting Category-Partition Test Case Generation. 577-593
• 
  Lionel C. Briand, Yvan Labiche, Yihong Wang:
  An Investigation of Graph-Based Class Integration Test Order Strategies. 594-607
• 
  Jesús E. Villadangos, Federico Fariña, José Ramón González de Mendívil, José Ramón Garitagoitia, Alberto Córdoba:
  A Safe Algorithm for Resolving OR Deadlocks. 608-622
• 
  Rajeev Alur, Kousha Etessami, Mihalis Yannakakis:
  Inference of Message Sequence Charts. 623-633
• 
  James H. Andrews, Yingjun Zhang:
  General Test Result Checking with Log File Analysis. 634-648
• 
  Padmal Vitharana, Fatemeh Zahedi, Hemant K. Jain:
  Knowledge-Based Repository Scheme for Storing and Retrieving Business Components: A Theoretical Design and an Empirical Analysis. 649-664

Short Papers

• 
  José Javier Dolado, Mark Harman, Mari Carmen Otero, Lin Hu:
  An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension. 665-670
• 
  William M. Evanco:
  Comments on "The Confounding Effect of Class Size on the Validity of Object-Oriented Metrics". 670-672

Volume 29, Number 8, August 2003

Editorial

• 
  John C. Knight:
  Editorial: AE Farewell. 673

Special Section on Software Inspection

• 
  David Lorge Parnas, Mark Lawford:
  The Role of Inspection in Software Quality Assurance. 674-676
• 
  Alastair Dunsmore, Marc Roper, Murray Wood:
  The Development and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection. 677-686
• 
  Thomas Thelin, Per Runeson, Claes Wohlin:
  An Experimental Comparison of Usage-Based and Checklist-Based Reading. 687-704
• 
  Jia Xu:
  On Inspection and Verification of Software with Timing Requirements. 705-720
• 
  Paul Anderson, Thomas W. Reps, Tim Teitelbaum:
  Design and Implementation of a Fine-Grained Software Inspection Tool. 721-733

Regular Papers

• 
  Tei-Wei Kuo, Li-Pin Chang, Yu-Hua Liu, Kwei-Jay Lin:
  Efficient Online Schedulability Tests for Real-Time Systems. 734-751
• 
  Daniel Mossé, Rami G. Melhem, Sunondo Ghosh:
  A Nonpreemptive Real-Time Scheduler with Recovery from Transient Faults and Its Implementation. 752-767

Volume 29, Number 9, September 2003

Regular Papers

• 
  Tomas Berling, Per Runeson:
  Efficient Evaluation of Multifactor Dependent System Performance Using Fractional Factorial Design. 769-781
• 
  Michele Lanza, Stéphane Ducasse:
  Polymetric Views - A Lightweight Visual Approach to Reverse Engineering. 782-795
• 
  Jane Cleland-Huang, Carl K. Chang, Mark J. Christensen:
  Event-Based Traceability for Managing Evolutionary Change. 796-810
• 
  Ming Li, Carol S. Smidts:
  A Ranking of Software Engineering Measures Based on Expert Opinion. 811-824
• 
  Marcus A. Rothenberger, Kevin J. Dooley, Uday R. Kulkarni, Nader Nada:
  Strategies for Software Reuse: A Principal Component Analysis of Reuse Practices. 825-837
• 
  Carolyn B. Seaman, Manoel G. Mendonça, Victor R. Basili, Yong-Mi Kim:
  User Interface Evaluation and Empirically-Based Evolution of a Prototype Experience Management Tool. 838-850
• 
  Simon C. Shaw, Michael Goldstein, Malcolm Munro, Elizabeth Burd:
  Moral Dominance Relations for Program Comprehension. 851-863

Volume 29, Number 10, October 2003

Special Section on the International Conference on the Foundations of Software Engineering

• 
  William G. Griswold:
  Guest Editor's Introduction: 2002 Conference on the Foundations of Software Engineering. 865
• 
  Jianwei Niu, Joanne M. Atlee, Nancy A. Day:
  Template Semantics for Model-Based Notations. 866-882
• 
  Glenn Bruns, Satish Chandra:
  Searching for Points-To Analysis. 883-897
• 
  Arie Gurfinkel, Marsha Chechik, Benet Devereux:
  Temporal Logic Query Checking: A Tool for Model Exploration. 898-914
• 
  Yichen Xie, Dawson R. Engler:
  Using Redundancies to Find Errors. 915-928
• 
  Licia Capra, Wolfgang Emmerich, Cecilia Mascolo:
  CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications. 929-945

Regular Papers

• 
  Katerina Goseva-Popstojanova, Ahmed E. Hassan, Ajith Guedem, Walid Abdelmoez, Diaa Eldin M. Nassar, Hany H. Ammar, Ali Mili:
  Architectural-Level Risk Analysis Using UML. 946-960

Volume 29, Number 11, November 2003

Editorial

• 
  John C. Knight:
  New AEIC Introduction and AE Farewell. 961

Regular Papers

• 
  Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro:
  Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. 962-973
• 
  Martina Marré, Antonia Bertolino:
  Using Spanning Sets for Coverage Testing. 974-984
• 
  Tron Foss, Erik Stensrud, Barbara A. Kitchenham, Ingunn Myrtveit:
  A Simulation Study of the Model Evaluation Criterion MMRE. 985-995
• 
  Skylar Lei, Michael R. Smith:
  Evaluation of Several Nonparametric Bootstrap Methods to Estimate Confidence Intervals for Software Metrics. 996-1004
• 
  Amie L. Souter, Lori L. Pollock:
  The Construction of Contextual Def-Use Associations for Object-Oriented Systems. 1005-1018
• 
  Diomidis Spinellis:
  Global Analysis and Transformations in Preprocessed Languages. 1019-1030
• 
  Mark W. Bailey, Jack W. Davidson:
  Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls. 1031-1042
• 
  Mohammad R. Alshayeb, Wei Li:
  An Empirical Validation of Object-Oriented Metrics in Two Different Iterative Software Processes. 1043-1049

Short Papers

• 
  Alexander Chatzigeorgiou:
  Mathematical Assessment of Object-Oriented Design Quality. 1050-1053
• 
  Hee Beng Kuan Tan, Lun Hao, Yong Yang:
  On Formalization of the Whole-Part Relationship in the Unified Modeling Language. 1054-1055

Volume 29, Number 12, December 2003

• 
  Maurizio Morisio, Markku Oivo:
  Guest Editors' Introduction: Software Engineering for the Wireless Internet. 1057-1058
• 
  Mauro Caporuscio, Antonio Carzaniga, Alexander L. Wolf:
  Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications. 1059-1071
• 
  Alvin T. S. Chan, Siu Nam Chuang:
  MobiPADS: A Reflective Middleware for Context-Aware Mobile Computing. 1072-1085
• 
  Paolo Bellavista, Antonio Corradi, Rebecca Montanari, Cesare Stefanelli:
  Context-Aware Middleware for Resource Management in the Wireless Internet. 1086-1099
• 
  Wai Yip Lum, Francis C. M. Lau:
  User-Centric Content Negotiation for Effective Adaptation Service in Mobile Computing. 1100-1111
• 
  Ichiro Satoh:
  A Testing Framework for Mobile Computing Software. 1112-1121
• 
  Alexis Ocampo, Daniela Boggio, Jürgen Münch, Gino Palladino:
  Toward a Reference Process for Developing Wireless Internet Services. 1122-1134