Volume 31,
Number 1,
January 2005
Editorials
Regular Papers
- Vittorio Cortellessa, Katerina Goseva-Popstojanova, Kalaivani Appukkutty, Ajith Guedem, Ahmed E. Hassan, Rania Elnaggar, Walid Abdelmoez, Hany H. Ammar:
Model-Based Performance Risk Analysis.
3-20
Electronic Edition (link) BibTeX
- Joerg Evermann, Yair Wand:
Toward Formalizing Domain Modeling Semantics in Language Syntax.
21-37
Electronic Edition (link) BibTeX
- Farn Wang:
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.
38-51
Electronic Edition (link) BibTeX
- Gennaro Costagliola, Filomena Ferrucci, Genoveffa Tortora, Giuliana Vitiello:
Class Point: An Approach for the Size Estimation of Object-Oriented Systems.
52-74
Electronic Edition (link) BibTeX
- Stéphane Ducasse, Michele Lanza:
The Class Blueprint: Visually Supporting the Understanding of Classes.
75-90
Electronic Edition (link) BibTeX
Volume 31,
Number 2,
February 2005
Special Issue on the Working Conference on Reverse Engineering
- Arie van Deursen, Eleni Stroulia:
Guest Editor's Introduction: 10th Working Conference on Reverse Engineering.
97-98
Electronic Edition (link) BibTeX
- Noah Snavely, Saumya K. Debray, Gregory R. Andrews:
Unpredication, Unscheduling, Unspeculation: Reverse Engineering Itanium Executables.
99-115
Electronic Edition (link) BibTeX
- Lewis B. Baumstark Jr., Linda M. Wills:
Retargeting Sequential Image-Processing Programs for Data Parallel Execution.
116-136
Electronic Edition (link) BibTeX
- Dirk Beyer, Andreas Noack, Claus Lewerentz:
Efficient Relational Calculation for Software Analysis.
137-149
Electronic Edition (link) BibTeX
- Periklis Andritsos, Vassilios Tzerpos:
Information-Theoretic Software Clustering.
150-165
Electronic Edition (link) BibTeX
- Michael W. Godfrey, Lijie Zou:
Using Origin Analysis to Detect Merging and Splitting of Source Code Entities.
166-181
Electronic Edition (link) BibTeX
Volume 31,
Number 3,
March 2005
Editorial
Papers
- Sebastian G. Elbaum, Gregg Rothermel, Srikanth Karre, Marc Fisher II:
Leveraging User-Session Data to Support Web Application Testing.
187-202
Electronic Edition (link) BibTeX
- Nicolas E. Gold, Andrew Mohan, Paul J. Layzell:
Spatial Complexity Metrics: An Investigation of Utility.
203-212
Electronic Edition (link) BibTeX
- Katsuro Inoue, Reishi Yokomori, Tetsuo Yamamoto, Makoto Matsushita, Shinji Kusumoto:
Ranking Significance of Software Components Based on Use Relations.
213-225
Electronic Edition (link) BibTeX
- Hakan Erdogmus, Maurizio Morisio, Marco Torchiano:
On the Effectiveness of the Test-First Approach to Programming.
226-237
Electronic Edition (link) BibTeX
- Yong Tan, Vijay S. Mookerjee:
Comparing Uniform and Flexible Policies for Software Maintenance and Replacement.
238-255
Electronic Edition (link) BibTeX
- Sam Malek, Marija Mikic-Rakic, Nenad Medvidovic:
A Style-Aware Architectural Middleware for Resource-Constrained, Distributed Systems.
256-272
Electronic Edition (link) BibTeX
Volume 31,
Number 4,
April 2005
Special Issue:
2004 IEEE International Symposium on Software Testing and Analysis
- Gregg Rothermel:
Guest Editor's Introduction: 2004 IEEE International Symposium on Software Testing and Analysis.
273-274
Electronic Edition (link) BibTeX
- Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Exploiting Purity for Atomicity.
275-291
Electronic Edition (link) BibTeX
- Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott:
Robustness Testing of Java Server Applications.
292-311
Electronic Edition (link) BibTeX
- Sebastian G. Elbaum, Madeline Diep:
Profiling Deployed Software: Assessing Strategies and Testing Opportunities.
312-327
Electronic Edition (link) BibTeX
- David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan:
Software Assurance by Bounded Exhaustive Testing.
328-339
Electronic Edition (link) BibTeX
- Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell:
Predicting the Location and Number of Faults in Large Software Systems.
340-355
Electronic Edition (link) BibTeX
Volume 31,
Number 5,
May 2005
Volume 31,
Number 6,
June 2005
Editorial
Special Issue on Mining Software Repositories
- Ahmed E. Hassan, Audris Mockus, Richard C. Holt, Philip M. Johnson:
Guest Editor's Introduction: Special Issue on Mining Software Repositories.
426-428
Electronic Edition (link) BibTeX
- Thomas Zimmermann, Peter Weißgerber, Stephan Diehl, Andreas Zeller:
Mining Version Histories to Guide Software Changes.
429-445
Electronic Edition (link) BibTeX
- Davor Cubranic, Gail C. Murphy, Janice Singer, Kellogg S. Booth:
Hipikat: A Project Memory for Software Development.
446-465
Electronic Edition (link) BibTeX
- Chadd C. Williams, Jeffrey K. Hollingsworth:
Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques.
466-480
Electronic Edition (link) BibTeX
- Trung T. Dinh-Trong, James M. Bieman:
The FreeBSD Project: A Replication Case Study of Open Source Development.
481-494
Electronic Edition (link) BibTeX
- Richard W. Selby:
Enabling Reuse-Based Software Development of Large-Scale Systems.
495-510
Electronic Edition (link) BibTeX
- Ranjith Purushothaman, Dewayne E. Perry:
Toward Understanding the Rhetoric of Small Source Code Changes.
511-526
Electronic Edition (link) BibTeX
Volume 31,
Number 7,
July 2005
Special Section on the International Conference on Software Reuse
Regular Papers
Volume 31,
Number 8,
August 2005
- Akif Günes Koru, Jeff Tian:
Comparing High-Change Modules and Modules with the Highest Measurement Values in Two Large-Scale Open-Source Products.
625-642
Electronic Edition (link) BibTeX
- Swapna S. Gokhale, Michael R. Lyu:
A Simulation Approach to Structure-Based Software Reliability Analysis.
643-656
Electronic Edition (link) BibTeX
- Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers:
Program Slicing with Dynamic Points-To Sets.
657-678
Electronic Edition (link) BibTeX
- Anandasivam Gopal, Tridas Mukhopadhyay, Mayuram S. Krishnan:
The Impact of Institutional Forces on Software Metrics Programs.
679-694
Electronic Edition (link) BibTeX
- Tom Verdickt, Bart Dhoedt, Frank Gielen, Piet Demeester:
Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models.
695-711
Electronic Edition (link) BibTeX
Volume 31,
Number 9,
September 2005
- Dongfeng Wang, Farokh B. Bastani, I-Ling Yen:
Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance.
713-732
Electronic Edition (link) BibTeX
- Dag 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.
733-753
Electronic Edition (link) BibTeX
- Kjetil Moløkken-Østvold, Magne Jørgensen:
A Comparison of Software Project Overruns-Flexible versus Sequential Development Models.
754-766
Electronic Edition (link) BibTeX
- Bill Mitchell:
Resolving Race Conditions in Asynchronous Partial Order Scenarios.
767-784
Electronic Edition (link) BibTeX
- Yasushi Shinjo, Calton Pu:
Achieving Efficiency and Portability in Systems Software: A Case Study on POSIX-Compliant Multithreaded Programs.
785-800
Electronic Edition (link) BibTeX
Volume 31,
Number 10,
October 2005
Special Issue on Software Maintenance and Evolution
- Mark Harman, Bogdan Korel, Panagiotis K. Linos:
Guest Editorial: Special Issue on Software Maintenance and Evolution.
801-803
Electronic Edition (link) BibTeX
- Magiel Bruntink, Arie van Deursen, Remco van Engelen, Tom Tourwé:
On the Use of Clone Detection for Identifying Crosscutting Concern Code.
804-818
Electronic Edition (link) BibTeX
- Paolo Tonella, Mariano Ceccato:
Refactoring the Aspectizable Interfaces: An Empirical Assessment.
819-832
Electronic Edition (link) BibTeX
- Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta, Han (Daphne) Yan-Bondoc:
An Experimental Investigation of Formality in UML-Based Development.
833-849
Electronic Edition (link) BibTeX
- Zhenchang Xing, Eleni Stroulia:
Analyzing the Evolutionary History of the Logical Design of Object-Oriented Software.
850-868
Electronic Edition (link) BibTeX
- Tao Xie, David Notkin:
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra.
869-883
Electronic Edition (link) BibTeX
- Atif M. Memon, Qing Xie:
Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software.
884-896
Electronic Edition (link) BibTeX
- Tibor Gyimóthy, Rudolf Ferenc, István Siket:
Empirical Validation of Object-Oriented Metrics on Open Source Software for Fault Prediction.
897-910
Electronic Edition (link) BibTeX
Comments
Volume 31,
Number 11,
November 2005
- Giacomo Bucci, Luigi Sassoli, Enrico Vicario:
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.
913-927
Electronic Edition (link) BibTeX
- Yan Liu, Alan Fekete, Ian Gorton:
Design-Level Performance Prediction of Component-Based Applications.
928-941
Electronic Edition (link) BibTeX
- Magne Jørgensen:
Evidence-Based Guidelines for Assessment of Software Development Cost Uncertainty.
942-954
Electronic Edition (link) BibTeX
- Arun Lakhotia, Eric Uday Kumar, Michael Venable:
A Method for Detecting Obfuscated Calls in Malicious Binaries.
955-968
Electronic Edition (link) BibTeX
- Peter Sawyer, Paul Rayson, Ken Cosh:
Shallow Knowledge as an Aid to Deep Understanding in Early Phase Requirements Engineering.
969-981
Electronic Edition (link) BibTeX
- David P. Darcy, Chris F. Kemerer, Sandra Slaughter, James E. Tomayko:
The Structural Complexity of Software: An Experimental Test.
982-995
Electronic Edition (link) BibTeX
Volume 31,
Number 12,
December 2005
Special Section on Interaction and State-Based Modeling
- Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle:
Guest Editorial: Special Section on Interaction and State-Based Modeling.
997-998
Electronic Edition (link) BibTeX
- Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens:
From Live Sequence Charts to State Machines and Back: A Guided Tour.
999-1014
Electronic Edition (link) BibTeX
- Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh:
Interaction Protocols as Design Abstractions for Business Processes.
1015-1027
Electronic Edition (link) BibTeX
- Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero:
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.
1028-1041
Electronic Edition (link) BibTeX
- Xiang Fu, Tevfik Bultan, Jianwen Su:
Synchronizability of Conversations among Web Services.
1042-1055
Electronic Edition (link) BibTeX
- Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde:
Generating Annotated Behavior Models from End-User Scenarios.
1056-1073
Electronic Edition (link) BibTeX
Regular Papers
Copyright © Sun May 17 00:30:44 2009
by Michael Ley (ley@uni-trier.de)
