External Links

    Journal: IEEE Trans. Software Eng.

    Volume 32, Issue 9

    625 -- 626Tibor Gyimóthy, Václav Rajlich. Guest Editors Introduction to the Special Issue on the International Conference on Software Maintenance and Evolution
    627 -- 641Giuliano Antoniol, Yann-Gaël Guéhéneuc. Feature Identification: An Epidemiological Metaphor
    642 -- 663Lionel C. Briand, Yvan Labiche, Johanne Leduc. Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software
    664 -- 681Mariana Sharp, Atanas Rountev. Static Analysis of Object References in RMI-Based Java Software
    682 -- 697Steven P. Reiss. Incremental Maintenance of Software Artifacts
    698 -- 717David Binkley, Mariano Ceccato, Mark Harman, Filippo Ricca, Paolo Tonella. Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects
    718 -- 732Xiaoxia Ren, Ophelia Chesley, Barbara G. Ryder. Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis
    733 -- 752Hyunsook Do, Gregg Rothermel. On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques
    753 -- 768Thorsten Schäfer, Michael Eichberg, Michael Haupt, Mira Mezini. The SEXTANT Software Exploration Tool

    Volume 32, Issue 8

    529 -- 530Giuliana Franceschinis, Joost-Pieter Katoen, C. Murray Woodside. Guest Editors Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST)
    531 -- 546Jeremy Sproston, Susanna Donatelli. Backward Bisimulation in Markov Chain Model Checking
    547 -- 558Aad P. A. van Moorsel, Katinka Wolter. Analysis of Restart Mechanisms in Software Systems
    559 -- 570Andrew S. Miner. Saturation for a General Class of Models
    571 -- 586Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel. Design by Contract to Improve Software Vigilance
    587 -- 607Bikram Sengupta, Rance Cleaveland. Triggered Message Sequence Charts
    608 -- 624James H. Andrews, Lionel C. Briand, Yvan Labiche, Akbar Siami Namin. Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria

    Volume 32, Issue 7

    433 -- 453Daniela Damian, James Chisan. An Empirical Study of the Complex Relationships between Requirements Engineering Processes and Other Processes that Lead to Payoffs in Productivity, Quality, and Risk Management
    454 -- 466Bradley R. Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan. Discovering Architectures from Running Systems
    467 -- 485Dan Barak, David Harel, Rami Marelly. InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming
    486 -- 502Samuel Kounev. Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets
    503 -- 5099Kaushal Chari, Alan R. Hevner. System Test Planning of Software: An Optimization Approach
    510 -- 526Farn Wang, Geng-Dian Huang, Fang Yu. TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering

    Volume 32, Issue 6

    349 -- 364Jun Sun 0001, Jin Song Dong. Design Synthesis from Interaction and State-Based Specifications
    365 -- 381Erik Arisholm, Lionel C. Briand, Siw Elisabeth Hove, Yvan Labiche. The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation
    382 -- 403Yu Lei, Richard H. Carver. Reachability Testing of Concurrent Programs
    404 -- 423Daqing Hou, H. James Hoover. Using SCL to Specify and Check Design Intent in Source Code
    424 -- 427Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi. Comments on An Interval Logic for Real-Time System Specification
    428 -- 431Pierfrancesco Bellini, Paolo Nesi, Davide Rogai. Reply to Comments on An Interval Logic for Real-Time System Specification

    Volume 32, Issue 5

    281 -- 298Christine Julien, Gruia-Catalin Roman. EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
    299 -- 314Alexander Egyed, David S. Wile. Support for Managing Design-Time Decisions
    315 -- 329Diane Kelly. A Study of Design Characteristics in Evolving Software Using Stability as a Criterion
    330 -- 346Rafae Bhatti, Elisa Bertino, Arif Ghafoor. X-FEDERATE: A Policy Engineering Framework for Federated Access Management
    347 -- 348Lee Pike. A Note on Inconsistent Axioms in Rushby s Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms

    Volume 32, Issue 4

    213 -- 239Joseph R. Ruthruff, Margaret M. Burnett, Gregg Rothermel. Interactive Fault Localization Techniques in a Spreadsheet Environment
    240 -- 253Jiang Zheng, Laurie A. Williams, Nachiappan Nagappan, Will Snipes, John P. Hudepohl, Mladen A. Vouk. On the Value of Static Analysis for Fault Detection in Software
    254 -- 264Shige Wang, Kang G. Shin. Task Construction for Model-Based Design of Embedded Control Software
    265 -- 278Dianxiang Xu, Kendall E. Nygard. Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets
    279 -- 280Hewijin Christine Jiau, Dung-Feng Yu. Comments on Automatic Analysis of Consistency between Requirements and Designs

    Volume 32, Issue 3

    137 -- 139Jeff Kramer. Editorial: New Associate Editors Introduction
    140 -- 155Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel. Automatic Test Generation: A Use Case Driven Approach
    156 -- 175Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino. Constructing Meta-CASE Workbenches by Exploiting Visual Language Generators
    176 -- 192Zhenmin Li, Shan Lu, Suvda Myagmar, Yuanyuan Zhou. CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code
    193 -- 208Brian S. Mitchell, Spiros Mancoridis. On the Automatic Modularization of Software Systems Using the Bunch Tool
    209 -- 211Naveen Sharma, Padmaja Joshi, Rushikesh K. Joshi. Applicability of Weyuker s Property 9 to Object Oriented Metrics

    Volume 32, Issue 2

    69 -- 82Qinbao Song, Martin J. Shepperd, Michelle Cartwright, Carolyn Mair. Software Defect Association Mining and Defect Correction Effort Prediction
    83 -- 92Martin Auer, Adam Trendowicz, Bernhard Graser, Ernst J. Haunschmid, Stefan Biffl. Optimal Project Feature Weights in Analogy-Based Cost Estimation: Improvement and Limitations
    93 -- 110Liqiang Wang, Scott D. Stoller. Runtime Analysis of Atomicity for Multithreaded Programs
    111 -- 135Hee Beng Kuan Tan, Yong Yang, Lei Bian. Systematic Transformation of Functional Analysis Model into OO Design and Implementation

    Volume 32, Issue 12

    929 -- 930William G. Griswold, Bashar Nuseibeh. Guest Editors Introduction to the Special Section on the International Conference on Software Engineering
    931 -- 951Brian Demsky, Martin C. Rinard. Goal-Directed Reasoning for Specification-Based Data Structure Repair
    952 -- 970Reid Holmes, Robert J. Walker, Gail C. Murphy. Approximate Structural Context Matching: An Approach to Recommend Relevant Examples
    971 -- 987Andrew J. Ko, Brad A. Myers, Michael J. Coblenz, Htet Htet Aung. An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks
    988 -- 1005Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard. Modular Pluggable Analyses for Data Structure Consistency

    Volume 32, Issue 11

    849 -- 867João Durães, Henrique Madeira. Emulation of Software Faults: A Field Data Study and a Practical Approach
    868 -- 882Diwakar Krishnamurthy, Jerome A. Rolia, Shikharesh Majumdar. A Synthetic Workload Generation Technique for Stress Testing Session-Based Systems
    883 -- 895Tim Menzies, Zhihao Chen, Jairus Hihn, Karen T. Lum. Selecting Best Practices for Effort Estimation
    896 -- 909Nikolaos Tsantalis, Alexander Chatzigeorgiou, George Stephanides, Spyros T. Halkidis. Design Pattern Detection Using Similarity Scoring
    910 -- 927Stefanos Zachariadis, Cecilia Mascolo, Wolfgang Emmerich. The SATIN Component System-A Metamodel for Engineering Adaptable Mobile Systems

    Volume 32, Issue 10

    769 -- 770Jeff Kramer. Editorial: New Associate Editors Introduction
    771 -- 789Yuming Zhou, Hareton Leung. Empirical Analysis of Object-Oriented Design Metrics for Predicting High and Low Severity Faults
    790 -- 811Daniel Conte de Leon, Jim Alves-Foss. Hidden Implementation Dependencies in High Assurance and Critical Computing Systems
    812 -- 830Henrik C. Bohnenkamp, Pedro R. D Argenio, Holger Hermanns, Joost-Pieter Katoen. MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
    831 -- 848Chao Liu, Long Fei, Xifeng Yan, Jiawei Han, Samuel P. Midkiff. Statistical Debugging: A Hypothesis Testing-Based Approach

    Volume 32, Issue 1

    1 -- 0John Knight. Editorial: A New Editor-in-Chief and the State of TSE
    2 -- 3Jeff Kramer. Editorial: A Message from the New Editor-in-Chief
    4 -- 19Jane Huffman Hayes, Alex Dekhtyar, Senthil Karthikeyan Sundaram. Advancing Candidate Link Generation for Requirements Tracing: The Study of Methods
    20 -- 34Cemal Yilmaz, Myra B. Cohen, Adam A. Porter. Covering Arrays for Efficient Fault Characterization in Complex Configuration Spaces
    35 -- 50Yongjie Zheng, Alvin T. S. Chan. MobiGATE: A Mobile Computing Middleware for the Active Deployment of Transport Services
    runs on