Volume 37, Number 1, January - February 2011
- Bashar Nuseibeh:
Editorial: State of the Journal.
1-3

- Brian Demsky, Sivaji Sundaramurthy:
Bristlecone: Language Support for Robust Software Applications.
4-23

- Martin P. Ward, Hussein Zedan:
Deriving a Slicing Algorithm via FermaT Transformations.
24-47

- Renée C. Bryce, Sreedevi Sampath, Atif M. Memon:
Developing a Single Model and Test Prioritization Strategies for Event-Driven Software.
48-64

- Salvatore Distefano, Marco Scarpa, Antonio Puliafito:
From UML to Petri Nets: The PCM-Based Methodology.
65-79

- James H. Andrews, Tim Menzies, Felix Chun Hang Li:
Genetic Algorithms for Randomized Unit Testing.
80-94

- Lutz Prechelt:
Plat_Forms: A Web Development Platform Comparison by an Exploratory Experiment Searching for Emergent Platform Properties.
95-108

- Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou:
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging.
109-125

- YoungMin Kwon, Gul A. Agha:
Verifying the Evolution of Probability Distributions Governed by a DTMC.
126-141

Volume 37, Number 2, March - April 2011
- Bashar Nuseibeh:
Editorial: What Makes a Publication Archival?
145

- Moonzoo Kim, Yunho Kim, Hotae Kim:
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study.
146-160

- Samar Mouchawrab, Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta:
Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments.
161-187

- Alexander Egyed:
Automatically Detecting and Tracking Inconsistencies in Software Design Models.
188-204

- Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto:
Improving Source Code Lexicon via Traceability and Information Retrieval.
205-227

- Luciano Baresi, Carlo Ghezzi, Luca Mottola:
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens.
228-246

- Luciano Baresi, Sam Guinea:
Self-Supervising BPEL Processes.
247-263

- Kata Praditwong, Mark Harman, Xin Yao:
Software Module Clustering as a Multi-Objective Search Problem.
264-282

- Oscar Dieste, Natalia Juristo Juzgado:
Systematic Review and Aggregation of Empirical Studies on Elicitation Techniques.
283-304

Volume 37, Number 3, May - June 2011
- Marcelo Cataldo, Kate Ehrlich, Audris Mockus:
Guest Editors' Introduction: Special Section on the Socio-Technical Environment of Software Development Projects.
305-306

- Irwin Kwan, Adrian Schröter, Daniela Damian:
Does Socio-Technical Congruence Have an Effect on Software Build Success? A Study of Coordination in a Software Project.
307-324

- Cleidson R. B. de Souza, David F. Redmiles:
The Awareness Network, To Whom Should I Display My Actions? And, Whose Actions Should I Monitor?
325-340

- Bas Cornelissen, Andy Zaidman, Arie van Deursen:
A Controlled Experiment for Program Comprehension through Trace Visualization.
341-355

- Qinbao Song, Zihan Jia, Martin J. Shepperd, Shi Ying, Jin Liu:
A General Software Defect-Proneness Prediction Framework.
356-370

- Pratyusa K. Manadhata, Jeannette M. Wing:
An Attack Surface Metric.
371-386

- Radu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli:
Dynamic QoS Management and Optimization in Service-Based Systems.
387-409

- Matthias Weidlich, Jan Mendling, Mathias Weske:
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models.
410-429

- Dongsun Kim, Xinming Wang, Sunghun Kim, Andreas Zeller, Shing-Chi Cheung, Sooyong Park:
Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts.
430-447

Volume 37, Number 4, July - August 2011
- Mikhail Perepletchikov, Caspar Ryan:
A Controlled Experiment for Evaluating the Impact of Coupling on the Maintainability of Service-Oriented Software.
449-465

- Mingsheng Ying, Yuan Feng:
A Flowchart Language for Quantum Programming.
466-485

- Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
Dynamic Analysis for Diagnosing Integration Faults.
486-508

- Norsaremah Salleh, Emilia Mendes, John C. Grundy:
Empirical Studies of Pair Programming for CS/SE Teaching in Higher Education: A Systematic Literature Review.
509-525

- Alexandre Bergel, William Harrison, Vinny Cahill, Siobhán Clarke:
FlowTalk: Language Support for Long-Latency Operations in Embedded Devices.
526-543

- Xavier Amatriain, Pau Arumi:
Frameworks Generate Domain-Specific Languages: A Case Study in the Multimedia Domain.
544-558

- Xun Yuan, Myra B. Cohen, Atif M. Memon:
GUI Interaction Testing: Incorporating Event Context.
559-574

- Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller:
Zebu: A Language-Based Approach for Network Protocol Message Processing.
575-591

Volume 37, Number 5, September - October 2011
- Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis, Michel R. V. Chaudron:
A Classification Framework for Software Component Models.
593-615

- Xin Feng, David Lorge Parnas, T. H. Tse, Tony O'Callaghan:
A Comparison of Tabular Expression-Based Testing Strategies.
616-634

- Tak Wah Kwan, Hareton K. N. Leung:
A Risk Management Methodology for Project Risk Dependencies.
635-648

- Yue Jia, Mark Harman:
An Analysis and Survey of the Development of Mutation Testing.
649-678

- Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang, Pen-Chung Yew:
Dynamic Software Updating Using a Relaxed Consistency Model.
679-694

- Magne Jørgensen, Stein Grimstad:
The Impact of Irrelevant and Misleading Information on Software Development Effort Estimates: A Randomized Controlled Field Experiment.
695-707

- Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Andrey Povyakalo, David Wright:
Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems.
708-717

- Diwakar Krishnamurthy, Jerry Rolia, Min Xu:
WAM - The Weighted Average Method for Predicting the Performance of Systems with Bursts of Customer Sessions.
718-735

Volume 37, Number 6, November - December 2011
- Jaiprakash T. Lallchandani, Rajib Mall:
A Dynamic Slicing Technique for UML Architectural Models.
737-771

- Yonghee Shin, Andrew Meneely, Laurie Williams, Jason A. Osborne:
Evaluating Complexity, Code Churn, and Developer Activity Metrics as Indicators of Software Vulnerabilities.
772-787

- Jehad Al-Dallal:
Measuring the Discriminative Power of Object-Oriented Class Cohesion Metrics.
788-804

- Xiao Liu, Yun Yang, Yuan-Chun Jiang, Jinjun Chen:
Preventing Temporal Violations in Scientific Workflows: Where and How.
805-825

- Laura Carnevali, Lorenzo Ridi, Enrico Vicario:
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle.
826-844

- Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification Techniques.
845-857

- Loïc Paulevé, Morgan Magnin, Olivier Roux:
Tuning Temporal Features within the Stochastic π-Calculus.
858-871

- Giulio Concas, Michele Marchesi, Alessandro Murgia, Roberto Tonelli, Ivana Turnu:
On the Distribution of Bugs in the Eclipse System.
872-877

Last update Mon May 20 04:22:59 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page