Journal: IEEE Trans. Software Eng.

Volume 31, Issue 9

713 -- 732Dongfeng Wang, Farokh B. Bastani, I-Ling Yen. Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance
733 -- 753Dag I. K. Sjøberg, Jo Erskine Hannay, Ove Hansen, Vigdis By Kampenes, Amela Karahasanovic, Nils-Kristian Liborg, Anette C. Rekdal. A Survey of Controlled Experiments in Software Engineering
754 -- 766Kjetil Moløkken-Østvold, Magne Jørgensen. A Comparison of Software Project Overruns-Flexible versus Sequential Development Models
767 -- 784Bill Mitchell. Resolving Race Conditions in Asynchronous Partial Order Scenarios
785 -- 800Yasushi Shinjo, Calton Pu. Achieving Efficiency and Portability in Systems Software: A Case Study on POSIX-Compliant Multithreaded Programs

Volume 31, Issue 8

625 -- 642Akif Günes Koru, Jeff Tian. Comparing High-Change Modules and Modules with the Highest Measurement Values in Two Large-Scale Open-Source Products
643 -- 656Swapna S. Gokhale, Michael R. Lyu. A Simulation Approach to Structure-Based Software Reliability Analysis
657 -- 678Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers. Program Slicing with Dynamic Points-To Sets
679 -- 694Anandasivam Gopal, Tridas Mukhopadhyay, Mayuram S. Krishnan. The Impact of Institutional Forces on Software Metrics Programs
695 -- 711Tom Verdickt, Bart Dhoedt, Frank Gielen, Piet Demeester. Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models

Volume 31, Issue 7

529 -- 536William B. Frakes, Kyo Kang. Software Reuse Research: Status and Future
537 -- 550Rob C. van Ommering. Software Reuse in Product Populations
551 -- 569Mikyeong Moon, Keunhyuk Yeom, Heung Seok Chae. An Approach to Developing Domain Requirements as a Core Asset Based on Commonality and Variability Analysis in a Product Line
570 -- 587Sam Weber, Hoi Chan, Lou Degenaro, Judah Diament, Achille Fokoue-Nkoutche, Isabelle Rouvellou. Fusion: A System For Business Users To Manage Program Variability
588 -- 600Merijn de Jonge. Build-Level Components
601 -- 614Nikolaos Tsantalis, Alexander Chatzigeorgiou, George Stephanides. Predicting the Probability of Change in Object-Oriented Systems
615 -- 624Parag C. Pendharkar, Girish H. Subramanian, James A. Rodger. A Probabilistic Model for Predicting Software Development Effort

Volume 31, Issue 6

425 -- 0John Knight. Editorial: New Associate Editor Introduction
426 -- 428Ahmed E. Hassan, Audris Mockus, Richard C. Holt, Philip M. Johnson. Guest Editor s Introduction: Special Issue on Mining Software Repositories
429 -- 445Thomas Zimmermann, Peter Weißgerber, Stephan Diehl, Andreas Zeller. Mining Version Histories to Guide Software Changes
446 -- 465Davor Cubranic, Gail C. Murphy, Janice Singer, Kellogg S. Booth. Hipikat: A Project Memory for Software Development
466 -- 480Chadd C. Williams, Jeffrey K. Hollingsworth. Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques
481 -- 494Trung T. Dinh-Trong, James M. Bieman. The FreeBSD Project: A Replication Case Study of Open Source Development
495 -- 510Richard W. Selby. Enabling Reuse-Based Software Development of Large-Scale Systems
511 -- 526Ranjith Purushothaman, Dewayne E. Perry. Toward Understanding the Rhetoric of Small Source Code Changes

Volume 31, Issue 5

361 -- 379Eila Niemelä, Jarmo Kalaoja, Patricia Lago. Toward an Architectural Knowledge Base for Wireless Service Engineering
380 -- 391Ingunn Myrtveit, Erik Stensrud, Martin J. Shepperd. Reliability and Validity in Comparative Studies of Software Prediction Models
392 -- 409Andreas Gregoriades, Alistair G. Sutcliffe. Scenario-Based Assessment of Nonfunctional Requirements
410 -- 424Tore Dybå. An Empirical Investigation of the Key Factors for Success in Software Process Improvement

Volume 31, Issue 4

273 -- 274Gregg Rothermel. Guest Editor s Introduction: 2004 IEEE International Symposium on Software Testing and Analysis
275 -- 291Cormac Flanagan, Stephen N. Freund, Shaz Qadeer. Exploiting Purity for Atomicity
292 -- 311Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott. Robustness Testing of Java Server Applications
312 -- 327Sebastian G. Elbaum, Madeline Diep. Profiling Deployed Software: Assessing Strategies and Testing Opportunities
328 -- 339David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan. Software Assurance by Bounded Exhaustive Testing
340 -- 355Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell. Predicting the Location and Number of Faults in Large Software Systems

Volume 31, Issue 3

185 -- 186John Knight. Editorial: New Associate Editors Introduction
187 -- 202Sebastian G. Elbaum, Gregg Rothermel, Srikanth Karre, Marc Fisher II. Leveraging User-Session Data to Support Web Application Testing
203 -- 212Nicolas E. Gold, Andrew Mohan, Paul J. Layzell. Spatial Complexity Metrics: An Investigation of Utility
213 -- 225Katsuro Inoue, Reishi Yokomori, Tetsuo Yamamoto, Makoto Matsushita, Shinji Kusumoto. Ranking Significance of Software Components Based on Use Relations
226 -- 237Hakan Erdogmus, Maurizio Morisio, Marco Torchiano. On the Effectiveness of the Test-First Approach to Programming
238 -- 255Yong Tan, Vijay S. Mookerjee. Comparing Uniform and Flexible Policies for Software Maintenance and Replacement
256 -- 272Sam Malek, Marija Mikic-Rakic, Nenad Medvidovic. A Style-Aware Architectural Middleware for Resource-Constrained, Distributed Systems

Volume 31, Issue 2

97 -- 98Arie van Deursen, Eleni Stroulia. Guest Editor s Introduction: 10th Working Conference on Reverse Engineering
99 -- 115Noah Snavely, Saumya K. Debray, Gregory R. Andrews. Unpredication, Unscheduling, Unspeculation: Reverse Engineering Itanium Executables
116 -- 136Lewis B. Baumstark Jr., Linda M. Wills. Retargeting Sequential Image-Processing Programs for Data Parallel Execution
137 -- 149Dirk Beyer, Andreas Noack, Claus Lewerentz. Efficient Relational Calculation for Software Analysis
150 -- 165Periklis Andritsos, Vassilios Tzerpos. Information-Theoretic Software Clustering
166 -- 181Michael W. Godfrey, Lijie Zou. Using Origin Analysis to Detect Merging and Splitting of Source Code Entities

Volume 31, Issue 12

997 -- 998Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle. Guest Editorial: Special Section on Interaction and State-Based Modeling
999 -- 1014Yves Bontemps, Patrick Heymans, Pierre Yves Schobbens. From Live Sequence Charts to State Machines and Back: A Guided Tour
1015 -- 1027Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh. Interaction Protocols as Design Abstractions for Business Processes
1028 -- 1041Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero. A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties
1042 -- 1055Xiang Fu, Tevfik Bultan, Jianwen Su. Synchronizability of Conversations among Web Services
1056 -- 1073Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde. Generating Annotated Behavior Models from End-User Scenarios
1074 -- 1092Bernd G. Freimut, Lionel C. Briand, Ferdinand Vollei. Determining Inspection Cost-Effectiveness by Combining Project Data and Expert Opinion

Volume 31, Issue 11

913 -- 927Giacomo Bucci, Luigi Sassoli, Enrico Vicario. Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets
928 -- 941Yan Liu, Alan Fekete, Ian Gorton. Design-Level Performance Prediction of Component-Based Applications
942 -- 954Magne Jørgensen. Evidence-Based Guidelines for Assessment of Software Development Cost Uncertainty
955 -- 968Arun Lakhotia, Eric Uday Kumar, Michael Venable. A Method for Detecting Obfuscated Calls in Malicious Binaries
969 -- 981Peter Sawyer, Paul Rayson, Ken Cosh. Shallow Knowledge as an Aid to Deep Understanding in Early Phase Requirements Engineering
982 -- 995David P. Darcy, Chris F. Kemerer, Sandra Slaughter, James E. Tomayko. The Structural Complexity of Software: An Experimental Test

Volume 31, Issue 10

801 -- 803Mark Harman, Bogdan Korel, Panagiotis K. Linos. Guest Editorial: Special Issue on Software Maintenance and Evolution
804 -- 818Magiel Bruntink, Arie van Deursen, Remco van Engelen, Tom Tourwé. On the Use of Clone Detection for Identifying Crosscutting Concern Code
819 -- 832Paolo Tonella, Mariano Ceccato. Refactoring the Aspectizable Interfaces: An Empirical Assessment
833 -- 849Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta, Han (Daphne) Yan-Bondoc. An Experimental Investigation of Formality in UML-Based Development
850 -- 868Zhenchang Xing, Eleni Stroulia. Analyzing the Evolutionary History of the Logical Design of Object-Oriented Software
869 -- 883Tao Xie, David Notkin. Checking Inside the Black Box: Regression Testing by Comparing Value Spectra
884 -- 896Atif M. Memon, Qing Xie. Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software
897 -- 910Tibor Gyimóthy, Rudolf Ferenc, István Siket. Empirical Validation of Object-Oriented Metrics on Open Source Software for Fault Prediction
911 -- 0Richard J. Botting. Small Errors in Toward Formalizing Domain Modeling Semantics in Language Syntax

Volume 31, Issue 1

1 -- 0. Editorial: State of the Journal Addrress
2 -- 0. Editorial: Associate Editor Introduction and Farewell
3 -- 20Vittorio Cortellessa, Katerina Goseva-Popstojanova, Kalaivani Appukkutty, Ajith Guedem, Ahmed E. Hassan, Rania Elnaggar, Walid Abdelmoez, Hany H. Ammar. Model-Based Performance Risk Analysis
21 -- 37Joerg Evermann, Yair Wand. Toward Formalizing Domain Modeling Semantics in Language Syntax
38 -- 51Farn Wang. Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
52 -- 74Gennaro Costagliola, Filomena Ferrucci, Genoveffa Tortora, Giuliana Vitiello. Class Point: An Approach for the Size Estimation of Object-Oriented Systems
75 -- 90Stéphane Ducasse, Michele Lanza. The Class Blueprint: Visually Supporting the Understanding of Classes