Journal: IEEE Trans. Software Eng.

Volume 37, Issue 6

737 -- 771Jaiprakash T. Lallchandani, Rajib Mall. A Dynamic Slicing Technique for UML Architectural Models
772 -- 787Yonghee Shin, Andrew Meneely, Laurie Williams, Jason A. Osborne. Evaluating Complexity, Code Churn, and Developer Activity Metrics as Indicators of Software Vulnerabilities
788 -- 804Jehad Al-Dallal. Measuring the Discriminative Power of Object-Oriented Class Cohesion Metrics
805 -- 825Xiao Liu, Yun Yang, Yuan-Chun Jiang, Jinjun Chen. Preventing Temporal Violations in Scientific Workflows: Where and How
826 -- 844Laura Carnevali, Lorenzo Ridi, Enrico Vicario. Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle
845 -- 857Gerard J. Holzmann, Rajeev Joshi, Alex Groce. Swarm Verification Techniques
858 -- 871Loïc Paulevé, Morgan Magnin, Olivier Roux. Tuning Temporal Features within the Stochastic π-Calculus
872 -- 877Giulio Concas, Michele Marchesi, Alessandro Murgia, Roberto Tonelli, Ivana Turnu. On the Distribution of Bugs in the Eclipse System

Volume 37, Issue 5

593 -- 615Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis, Michel R. V. Chaudron. A Classification Framework for Software Component Models
616 -- 634Xin Feng, David Lorge Parnas, T. H. Tse, Tony O'Callaghan. A Comparison of Tabular Expression-Based Testing Strategies
635 -- 648Tak Wah Kwan, Hareton K. N. Leung. A Risk Management Methodology for Project Risk Dependencies
649 -- 678Yue Jia, Mark Harman. An Analysis and Survey of the Development of Mutation Testing
679 -- 694Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang, Pen-Chung Yew. Dynamic Software Updating Using a Relaxed Consistency Model
695 -- 707Magne Jørgensen, Stein Grimstad. The Impact of Irrelevant and Misleading Information on Software Development Effort Estimates: A Randomized Controlled Field Experiment
708 -- 717Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Andrey Povyakalo, David Wright. Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems
718 -- 735Diwakar Krishnamurthy, Jerry Rolia, Min Xu. WAM - The Weighted Average Method for Predicting the Performance of Systems with Bursts of Customer Sessions

Volume 37, Issue 4

449 -- 465Mikhail Perepletchikov, Caspar Ryan. A Controlled Experiment for Evaluating the Impact of Coupling on the Maintainability of Service-Oriented Software
466 -- 485Mingsheng Ying, Yuan Feng. A Flowchart Language for Quantum Programming
486 -- 508Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè. Dynamic Analysis for Diagnosing Integration Faults
509 -- 525Norsaremah Salleh, Emilia Mendes, John C. Grundy. Empirical Studies of Pair Programming for CS/SE Teaching in Higher Education: A Systematic Literature Review
526 -- 543Alexandre Bergel, William Harrison, Vinny Cahill, Siobhán Clarke. FlowTalk: Language Support for Long-Latency Operations in Embedded Devices
544 -- 558Xavier Amatriain, Pau Arumi. Frameworks Generate Domain-Specific Languages: A Case Study in the Multimedia Domain
559 -- 574Xun Yuan, Myra B. Cohen, Atif M. Memon. GUI Interaction Testing: Incorporating Event Context
575 -- 591Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller. Zebu: A Language-Based Approach for Network Protocol Message Processing

Volume 37, Issue 3

305 -- 306Marcelo Cataldo, Kate Ehrlich, Audris Mockus. Guest Editors Introduction: Special Section on the Socio-Technical Environment of Software Development Projects
307 -- 324Irwin 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
325 -- 340Cleidson R. B. de Souza, David F. Redmiles. The Awareness Network, To Whom Should I Display My Actions? And, Whose Actions Should I Monitor?
341 -- 355Bas Cornelissen, Andy Zaidman, Arie van Deursen. A Controlled Experiment for Program Comprehension through Trace Visualization
356 -- 370Qinbao Song, Zihan Jia, Martin J. Shepperd, Shi Ying, Jin Liu. A General Software Defect-Proneness Prediction Framework
371 -- 386Pratyusa K. Manadhata, Jeannette M. Wing. An Attack Surface Metric
387 -- 409Radu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli. Dynamic QoS Management and Optimization in Service-Based Systems
410 -- 429Matthias Weidlich, Jan Mendling, Mathias Weske. Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
430 -- 447Dongsun 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

Volume 37, Issue 2

145 -- 0Bashar Nuseibeh. Editorial: What Makes a Publication Archival?
146 -- 160Moonzoo Kim, Yunho Kim, Hotae Kim. A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
161 -- 187Samar Mouchawrab, Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta. Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments
188 -- 204Alexander Egyed. Automatically Detecting and Tracking Inconsistencies in Software Design Models
205 -- 227Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto. Improving Source Code Lexicon via Traceability and Information Retrieval
228 -- 246Luciano Baresi, Carlo Ghezzi, Luca Mottola. Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
247 -- 263Luciano Baresi, Sam Guinea. Self-Supervising BPEL Processes
264 -- 282Kata Praditwong, Mark Harman, Xin Yao. Software Module Clustering as a Multi-Objective Search Problem
283 -- 304Oscar Dieste, Natalia Juristo Juzgado. Systematic Review and Aggregation of Empirical Studies on Elicitation Techniques

Volume 37, Issue 1

1 -- 3Bashar Nuseibeh. Editorial: State of the Journal
4 -- 23Brian Demsky, Sivaji Sundaramurthy. Bristlecone: Language Support for Robust Software Applications
24 -- 47Martin P. Ward, Hussein Zedan. Deriving a Slicing Algorithm via FermaT Transformations
48 -- 64Renée C. Bryce, Sreedevi Sampath, Atif M. Memon. Developing a Single Model and Test Prioritization Strategies for Event-Driven Software
65 -- 79Salvatore Distefano, Marco Scarpa, Antonio Puliafito. From UML to Petri Nets: The PCM-Based Methodology
80 -- 94James H. Andrews, Tim Menzies, Felix Chun Hang Li. Genetic Algorithms for Randomized Unit Testing
95 -- 108Lutz Prechelt. Plat_Forms: A Web Development Platform Comparison by an Exploratory Experiment Searching for Emergent Platform Properties
109 -- 125Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou. Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
126 -- 141Youngmin Kwon, Gul A. Agha. Verifying the Evolution of Probability Distributions Governed by a DTMC