Volume 30,
Number 1,
January 2004
- John C. Knight:
Editorial: AE Introduction.
1-2
Electronic Edition (link) BibTeX
- Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper:
Testability Transformation.
3-16
Electronic Edition (link) BibTeX
- Frank Padberg, Thomas Ragg, Ralf Schoknecht:
Using Machine Learning for Estimating the Defect Content After an Inspection.
17-28
Electronic Edition (link) BibTeX
- Alexandre Petrenko, Sergiy Boroday, Roland Groz:
Confirming Configurations in EFSM Testing.
29-42
Electronic Edition (link) BibTeX
- Giuliano Antoniol, Aniello Cimitile, Giuseppe A. Di Lucca, Massimiliano Di Penta:
Assessing Staffing Needs for a Software Maintenance Project through Queuing Simulation.
43-58
Electronic Edition (link) BibTeX
- Gwan-Hwan Hwang, Sheng-Jen Chang, Huey-Der Chu:
Technology for Testing Nondeterministic Client/Server Database Applications.
59-77
Electronic Edition (link) BibTeX
Volume 30,
Number 2,
February 2004
- John C. Knight:
Editorial: The State of TSE.
81-
Electronic Edition (link) BibTeX
- Bruce C. Hungerford, Alan R. Hevner, Rosann Webb Collins:
Reviewing Software Diagrams: A Cognitive Study.
82-96
Electronic Edition (link) BibTeX
- Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario:
Timed State Space Analysis of Real-Time Preemptive Systems.
97-111
Electronic Edition (link) BibTeX
- Yun-Hong Lee, Albert Mo Kim Cheng:
Optimizing Real-Time Equational Rule-Based Systems.
112-125
Electronic Edition (link) BibTeX
- Tom Mens, Tom Tourwé:
A Survey of Software Refactoring.
126-139
Electronic Edition (link) BibTeX
- Dragan Bojic, Thomas Eisenbarth, Rainer Koschke, Daniel Simon, Dusan M. Velasevic:
Addendum to "Locating Features in Source Code'.
140-
Electronic Edition (link) BibTeX
Volume 30,
Number 3,
March 2004
- Toacy 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.
145-159
Electronic Edition (link) BibTeX
- Henry Muccini, Antonia Bertolino, Paola Inverardi:
Using Software Architecture for Code Testing.
160-171
Electronic Edition (link) BibTeX
- Robyn R. Lutz, Ines Carmen Mikulski:
Empirical Analysis of Safety-Critical Anomalies During Operations.
172-180
Electronic Edition (link) BibTeX
- Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach:
Static Analysis of XML Transformations in Java.
181-192
Electronic Edition (link) BibTeX
- Robert B. France, Dae-Kyoo Kim, Sudipto Ghosh, Eunjee Song:
A UML-Based Pattern Specification Technique.
193-206
Electronic Edition (link) BibTeX
Volume 30,
Number 4,
April 2004
- Magne Jørgensen:
Realism in Assessment of Effort Estimation Uncertainty: It Matters How You Ask.
209-217
Electronic Edition (link) BibTeX
- Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen:
Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks.
218-230
Electronic Edition (link) BibTeX
- Fubo Zhang, Erik H. D'Hollander:
Using Hammock Graphs to Structure Programs.
231-245
Electronic Edition (link) BibTeX
- James W. Paulson, Giancarlo Succi, Armin Eberlein:
An Empirical Study of Open-Source and Closed-Source Software Products.
246-256
Electronic Edition (link) BibTeX
- Keith 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.
257-277
Electronic Edition (link) BibTeX
- Gwan-Hwan Hwang, Sheng-Jen Chang, Huey-Der Chu:
Correction to 'Technology for Testing Nondeterministic Client/Server Database Applications'.
278-
Electronic Edition (link) BibTeX
Volume 30,
Number 5,
May 2004
- John C. Knight:
Editorial: AE Farewell.
281-
Electronic Edition (link) BibTeX
- Javier 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.
282-294
Electronic Edition (link) BibTeX
- Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi, Marta Simeoni:
Model-Based Performance Prediction in Software Development: A Survey.
295-310
Electronic Edition (link) BibTeX
- Liangzhao Zeng, Boualem Benatallah, Anne H. H. Ngu, Marlon Dumas, Jayant Kalagnanam, Henry Chang:
QoS-Aware Middleware for Web Services Composition.
311-327
Electronic Edition (link) BibTeX
- Luiz Marcio Cysneiros, Julio Cesar Sampaio do Prado Leite:
Nonfunctional Requirements: From Elicitation to Conceptual Models.
328-350
Electronic Edition (link) BibTeX
Volume 30,
Number 6,
June 2004
- Laura K. Dillon, Walter F. Tichy:
Guest Editors' Introduction: 2003 International Conference on Software Engineering.
353-354
Electronic Edition (link) BibTeX
- Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer:
Scaling Step-Wise Refinement.
355-371
Electronic Edition (link) BibTeX
- Atanas Rountev, Ana Milanova, Barbara G. Ryder:
Fragment Class Analysis for Testing of Polymorphism in Java Software.
372-387
Electronic Edition (link) BibTeX
- Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith:
Modular Verification of Software Components in C.
388-402
Electronic Edition (link) BibTeX
- Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang:
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.
403-417
Electronic Edition (link) BibTeX
- D. Richard Kuhn, Dolores R. Wallace, Albert M. Gallo:
Software Fault Interactions and Implications for Software Testing.
418-421
Electronic Edition (link) BibTeX
Volume 30,
Number 7,
July 2004
Volume 30,
Number 8,
August 2004
Volume 30,
Number 9,
September 2004
Regular Papers
- Soojung Lee:
Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model.
561-573
Electronic Edition (link) BibTeX
- Annie T. T. Ying, Gail C. Murphy, Raymond T. Ng, Mark Chu-Carroll:
Predicting Source Code Changes by Mining Change History.
574-586
Electronic Edition (link) BibTeX
- Brandon Morel, Perry Alexander:
SPARTACAS Automating Component Reuse and Adaptation.
587-600
Electronic Edition (link) BibTeX
- Amir Tomer, Leah Goldin, Tsvi Kuflik, Esther Kimchi, Stephen R. Schach:
Evaluating Software Reuse Alternatives: A Model and Its Application to an Industrial Case Study.
601-612
Electronic Edition (link) BibTeX
- Peng Li, Binoy Ravindran, Syed Suhaib, Shahrooz Feizabadi:
A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems.
613-629
Electronic Edition (link) BibTeX
Volume 30,
Number 10,
October 2004
Editorial:
AE Introduction and Farewell
Regular Papers
- Dennis Brylow, Jens Palsberg:
Deadline Analysis of Interrupt-Driven Software.
634-655
Electronic Edition (link) BibTeX
- Pao-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.
656-674
Electronic Edition (link) BibTeX
- Hagen 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.
675-693
Electronic Edition (link) BibTeX
- Liguo Yu, Stephen R. Schach, Kai Chen, A. Jefferson Offutt:
Categorization of Common Coupling and Its Application to the Maintainability of the Linux Kernel.
694-706
Electronic Edition (link) BibTeX
Short Papers
Volume 30,
Number 11,
November 2004
- David Binkley, Mark Harman:
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables.
715-735
Electronic Edition (link) BibTeX
- Issa Traoré, Demissie B. Aredo:
Enhancing Structured Review with Model-Based Verification.
736-753
Electronic Edition (link) BibTeX
- Jeff Tian, Sunita Rudraraju, Zhao Li:
Evaluating Web Software Reliability Based on Workload and Failure Data Extracted from Server Logs.
754-769
Electronic Edition (link) BibTeX
- Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche:
Assessing and Improving State-Based Class Testing: A Series of Experiments.
770-793
Electronic Edition (link) BibTeX
- Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth:
Contract-Checking Wrappers for C++ Classes.
794-810
Electronic Edition (link) BibTeX
- James Miller, Zhichao Yin:
A Cognitive-Based Mechanism for Constructing Software Inspection Teams.
811-825
Electronic Edition (link) BibTeX
- Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae:
Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables.
826-832
Electronic Edition (link) BibTeX
Volume 30,
Number 12,
December 2004
Regular Papers
- Aloysius 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.
841-858
Electronic Edition (link) BibTeX
- Nelly Delgado, Ann Q. Gates, Steve Roach:
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools.
859-872
Electronic Edition (link) BibTeX
- Jeffrey Parsons, Chad Saunders:
Cognitive Heuristics in Software Engineering: Applying and Extending Anchoring and Adjustment to Artifact Reuse.
873-888
Electronic Edition (link) BibTeX
- Martin P. Robillard, Wesley Coelho, Gail C. Murphy:
How Effective Developers Investigate Source Code: An Exploratory Study.
889-903
Electronic Edition (link) BibTeX
- Marek Vokác:
Defect Frequency and Design Patterns: An Empirical Study of Industrial Code.
904-917
Electronic Edition (link) BibTeX
- Eugene Y. C. Wong, Alvin T. S. Chan, Hong Va Leong:
Xstream: A Middleware for Streaming XML Contents over Wireless Environments.
918-935
Electronic Edition (link) BibTeX
- Luqi, Lin Zhang, Valdis Berzins, Ying Qiao:
Documentation Driven Development for Complex Real-Time Systems.
936-952
Electronic Edition (link) BibTeX
- Magne Jørgensen, Gunnar J. Carelius:
An Empirical Study of Software Project Bidding.
953-969
Electronic Edition (link) BibTeX
- Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell:
Object Analysis Patterns for Embedded Systems.
970-992
Electronic Edition (link) BibTeX
- Magne Jørgensen, Kjetil Moløkken-Østvold:
Reasons for Software Effort Estimation Error: Impact of Respondent Role, Information Collection Approach, and Data Analysis Method.
993-1007
Electronic Edition (link) BibTeX
- Robert Miller, Anand R. Tripathi:
The Guardian Model and Primitives for Exception Handling in Distributed Systems.
1008-1022
Electronic Edition (link) BibTeX
- Barbara A. Kitchenham, Emilia Mendes:
Software Productivity Measurement Using Multiple Size Measures.
1023-1035
Electronic Edition (link) BibTeX
- Ted J. Biggerstaff:
A New Architecture for Transformation-Based Generators.
1036-1054
Electronic Edition (link) BibTeX
- Rémi Forax, Étienne Duris, Gilles Roussel:
A Reflective Implementation of Java Multi-Methods.
1055-1071
Electronic Edition (link) BibTeX
- Alberto Avritzer, Elaine J. Weyuker:
The Role of Modeling in the Performance Testing of E-Commerce Applications.
1072-1083
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:30:44 2009
by Michael Ley (ley@uni-trier.de)
