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
