Journal: IEEE Trans. Software Eng.

Volume 30, Issue 9

561 -- 573Soojung Lee. Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model
574 -- 586Annie T. T. Ying, Gail C. Murphy, Raymond T. Ng, Mark Chu-Carroll. Predicting Source Code Changes by Mining Change History
587 -- 600Brandon Morel, Perry Alexander. SPARTACAS Automating Component Reuse and Adaptation
601 -- 612Amir Tomer, Leah Goldin, Tsvi Kuflik, Esther Kimchi, Stephen R. Schach. Evaluating Software Reuse Alternatives: A Model and Its Application to an Industrial Case Study
613 -- 629Peng Li, Binoy Ravindran, Syed Suhaib, Shahrooz Feizabadi. A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems

Volume 30, Issue 8

489 -- 490John C. Knight. Editorial: AE Introduction
491 -- 506Erik Arisholm, Lionel C. Briand, Audun Føyen. Dynamic Coupling Measurement for Object-Oriented Software
507 -- 520Giulio Mori, Fabio Paternò, Carmen Santoro. Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions
521 -- 534Erik Arisholm, Dag I. K. Sjøberg. Evaluating the Effect of a Delegated versus Centralized Control Style on the Maintainability of Object-Oriented Software
535 -- 546Benjamin B. Bederson, Jesse Grosjean, Jon Meyer. Toolkit Design for Interactive Structured Graphics
547 -- 560Christof Fetzer, Pascal Felber, Karin Högstedt. Automatic Detection and Masking of Nonatomic Exception Handling

Volume 30, Issue 7

425 -- 436Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann. FSM-Based Incremental Conformance Testing Methods
437 -- 447Rik Eshuis, Roel Wieringa. Tool Support for Verifying UML Activity Diagrams
448 -- 457Jeong A. Kang, Albert Mo Kim Cheng. Shortening Matching Time in OPS5 Production Systems
458 -- 472Uwe Glässer, Yuri Gurevich, Margus Veanes. Abstract Communication Model for Distributed Systems
473 -- 487Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes. TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit

Volume 30, Issue 6

353 -- 354Laura K. Dillon, Walter F. Tichy. Guest Editors Introduction: 2003 International Conference on Software Engineering
355 -- 371Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer. Scaling Step-Wise Refinement
372 -- 387Atanas Rountev, Ana Milanova, Barbara G. Ryder. Fragment Class Analysis for Testing of Polymorphism in Java Software
388 -- 402Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith. Modular Verification of Software Components in C
403 -- 417Farn Wang, Karsten Schmidt 0004, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang. BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction
418 -- 421D. Richard Kuhn, Dolores R. Wallace, Albert M. Gallo. Software Fault Interactions and Implications for Software Testing

Volume 30, Issue 5

281 -- 0John C. Knight. Editorial: AE Farewell
282 -- 294Javier Andrade Garda, Juan Ares Casal, Rafael García Vázquez, Juan Pazos, Santiago Rodríguez Yánez, Andrés Silva. A Methodological Framework for Viewpoint-Oriented Conceptual Modeling
295 -- 310Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi, Marta Simeoni. Model-Based Performance Prediction in Software Development: A Survey
311 -- 327Liangzhao Zeng, Boualem Benatallah, Anne H. H. Ngu, Marlon Dumas, Jayant Kalagnanam, Henry Chang. QoS-Aware Middleware for Web Services Composition
328 -- 350Luiz Marcio Cysneiros, Julio Cesar Sampaio do Prado Leite. Nonfunctional Requirements: From Elicitation to Conceptual Models

Volume 30, Issue 4

209 -- 217Magne Jørgensen. Realism in Assessment of Effort Estimation Uncertainty: It Matters How You Ask
218 -- 230Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen. Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks
231 -- 245Fubo Zhang, Erik H. D Hollander. Using Hammock Graphs to Structure Programs
246 -- 256James W. Paulson, Giancarlo Succi, Armin Eberlein. An Empirical Study of Open-Source and Closed-Source Software Products
257 -- 277Keith Whisnant, Ravishankar K. Iyer, Zbigniew Kalbarczyk, Phillip H. Jones III, David A. Rennels, Raphael R. Some. The Effects of an ARMOR-Based SIFT Environment on the Performance and Dependability of User Applications
278 -- 0Gwan-Hwan Hwang, Sheng-Jen Chang, Huey-Der Chu. Correction to Technology for Testing Nondeterministic Client/Server Database Applications

Volume 30, Issue 3

145 -- 159Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Ivan Mathias Filho, Carlos José Pereira de Lucena, Donald D. Cowan. Software Process Representation and Analysis for Framework Instantiation
160 -- 171Henry Muccini, Antonia Bertolino, Paola Inverardi. Using Software Architecture for Code Testing
172 -- 180Robyn R. Lutz, Ines Carmen Mikulski. Empirical Analysis of Safety-Critical Anomalies During Operations
181 -- 192Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach. Static Analysis of XML Transformations in Java
193 -- 206Robert B. France, Dae-Kyoo Kim, Sudipto Ghosh, Eunjee Song. A UML-Based Pattern Specification Technique

Volume 30, Issue 2

81 -- 0John C. Knight. Editorial: The State of TSE
82 -- 96Bruce C. Hungerford, Alan R. Hevner, Rosann Webb Collins. Reviewing Software Diagrams: A Cognitive Study
97 -- 111Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario. Timed State Space Analysis of Real-Time Preemptive Systems
112 -- 125Yun-Hong Lee, Albert Mo Kim Cheng. Optimizing Real-Time Equational Rule-Based Systems
126 -- 139Tom Mens, Tom Tourwé. A Survey of Software Refactoring
140 -- 0Dragan Bojic, Thomas Eisenbarth, Rainer Koschke, Daniel Simon, Dusan M. Velasevic. Addendum to Locating Features in Source Code

Volume 30, Issue 12

841 -- 858Aloysius K. Mok, Prabhudev Konana, Guangtian Liu, Chan-Gun Lee, Honguk Woo. Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages
859 -- 872Nelly Delgado, Ann Q. Gates, Steve Roach. A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
873 -- 888Jeffrey Parsons, Chad Saunders. Cognitive Heuristics in Software Engineering: Applying and Extending Anchoring and Adjustment to Artifact Reuse
889 -- 903Martin P. Robillard, Wesley Coelho, Gail C. Murphy. How Effective Developers Investigate Source Code: An Exploratory Study
904 -- 917Marek Vokác. Defect Frequency and Design Patterns: An Empirical Study of Industrial Code
918 -- 935Eugene Y. C. Wong, Alvin T. S. Chan, Hong Va Leong. Xstream: A Middleware for Streaming XML Contents over Wireless Environments
936 -- 952Luqi, Lin Zhang, Valdis Berzins, Ying Qiao. Documentation Driven Development for Complex Real-Time Systems
953 -- 969Magne Jørgensen, Gunnar J. Carelius. An Empirical Study of Software Project Bidding
970 -- 992Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell. Object Analysis Patterns for Embedded Systems
993 -- 1007Magne Jørgensen, Kjetil Moløkken-Østvold. Reasons for Software Effort Estimation Error: Impact of Respondent Role, Information Collection Approach, and Data Analysis Method
1008 -- 1022Robert Miller, Anand R. Tripathi. The Guardian Model and Primitives for Exception Handling in Distributed Systems
1023 -- 1035Barbara A. Kitchenham, Emilia Mendes. Software Productivity Measurement Using Multiple Size Measures
1036 -- 1054Ted J. Biggerstaff. A New Architecture for Transformation-Based Generators
1055 -- 1071Rémi Forax, Étienne Duris, Gilles Roussel. A Reflective Implementation of Java Multi-Methods
1072 -- 1083Alberto Avritzer, Elaine J. Weyuker. The Role of Modeling in the Performance Testing of E-Commerce Applications

Volume 30, Issue 11

715 -- 735David W. Binkley, Mark Harman. Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
736 -- 753Issa Traoré, Demissie B. Aredo. Enhancing Structured Review with Model-Based Verification
754 -- 769Jeff Tian, Sunita Rudraraju, Zhao Li. Evaluating Web Software Reliability Based on Workload and Failure Data Extracted from Server Logs
770 -- 793Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche. Assessing and Improving State-Based Class Testing: A Series of Experiments
794 -- 810Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth. Contract-Checking Wrappers for C++ Classes
811 -- 825James Miller, Zhichao Yin. A Cognitive-Based Mechanism for Constructing Software Inspection Teams
826 -- 832Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae. Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables

Volume 30, Issue 10

633 -- 0John Knight. Editorial: AE Introduction and Farewell
634 -- 655Dennis Brylow, Jens Palsberg. Deadline Analysis of Interrupt-Driven Software
656 -- 674Pao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See. VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
675 -- 693Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper. SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting
694 -- 706Liguo Yu, Stephen R. Schach, Kai Chen 0003, A. Jefferson Offutt. Categorization of Common Coupling and Its Application to the Maintainability of the Linux Kernel
707 -- 0Hewijin Christine Jiau, Chia Hung Kao, Kuo-Feng Ssu. Comments on Software Process Representation and Analysis for Framework Instantiation
708 -- 0Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Ivan Mathias Filho, Carlos José Pereira de Lucena, Donald D. Cowan. Response to Jiau et al. s Comments

Volume 30, Issue 1

1 -- 2John C. Knight. Editorial: AE Introduction
3 -- 16Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper. Testability Transformation
17 -- 28Frank Padberg, Thomas Ragg, Ralf Schoknecht. Using Machine Learning for Estimating the Defect Content After an Inspection
29 -- 42Alexandre Petrenko, Sergiy Boroday, Roland Groz. Confirming Configurations in EFSM Testing
43 -- 58Giuliano Antoniol, Aniello Cimitile, Giuseppe A. Di Lucca, Massimiliano Di Penta. Assessing Staffing Needs for a Software Maintenance Project through Queuing Simulation
59 -- 77Gwan-Hwan Hwang, Sheng-Jen Chang, Huey-Der Chu. Technology for Testing Nondeterministic Client/Server Database Applications