External Links

    Journal: IEEE Trans. Software Eng.

    Volume 42, Issue 9

    805 -- 824Sergio Segura, Gordon Fraser, Ana B. Sánchez, Antonio Ruiz Cortés. A Survey on Metamorphic Testing
    825 -- 842Yan Cai, Qiong Lu. Dynamic Testing for Deadlocks via Constraints
    843 -- 865Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel. Probabilistic Interface Automata
    866 -- 885Hang Luo, Xue Liu, Xi Chen, Ting Long, Ronghua Jiang. Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs
    886 -- 898Jürgen Börstler, Barbara Paech. The Role of Method Chains and Comments in Software Readability and Comprehension - An Experiment

    Volume 42, Issue 8

    707 -- 740W. Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, Franz Wotawa. A Survey on Software Fault Localization
    741 -- 763Mohammad A. Noureddine, Fadi A. Zaraket. Model Checking Software with First Order Logic Specifications Using AIG Solvers
    764 -- 785Roman Atachiants, Gavin Doherty, David Gregg. Parallel Performance Problems on Shared-Memory Multicore Systems: Taxonomy and Observation
    786 -- 804Helen Sharp, Yvonne Dittrich, Cleidson R. B. de Souza. The Role of Ethnographic Studies in Empirical Software Engineering

    Volume 42, Issue 7

    605 -- 622Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang. A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors
    623 -- 639Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum. Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters
    640 -- 657Nicolas Berthier, Éric Rutten, Noel De Palma, Soguy Mak Karé Gueye. Designing Autonomic Management Systems by Using Reactive Control Techniques
    658 -- 686Xiao-Ning Shen, Leandro L. Minku, Rami Bahsoon, Xin Yao. Dynamic Software Project Scheduling through a Proactive-Rescheduling Method
    687 -- 706Nili Itzik, Iris Reinhartz-Berger, Yair Wand. Variability Analysis of Requirements: Considering Behavioral Differences and Reflecting Stakeholders' Perspectives

    Volume 42, Issue 6

    505 -- 529Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta. A Two-Component Language for Adaptation: Design, Semantics and Program Analysis
    530 -- 543Motahareh Bahrami Zanjani, Huzefa H. Kagdi, Christian Bird. Automatically Recommending Peer Reviewers in Modern Code Review
    544 -- 558Hui Liu, Qiurong Liu, Zhendong Niu, Yang Liu. Dynamic and Automatic Feedback-Based Threshold Adaptation for Code Smell Detection
    559 -- 584Eiji Adachi Barbosa, Alessandro F. Garcia, Martin P. Robillard, Benjamin Jakobus. Enforcing Exception Handling Policies with a Domain-Specific Language
    585 -- 604Carmine Giardino, Nicolò Paternoster, Michael Unterkalmsteiner, Tony Gorschek, Pekka Abrahamsson. Software Development in Startup Companies: The Greenfield Startup Model

    Volume 42, Issue 5

    403 -- 426Mauro Baluda, Giovanni Denaro, Mauro Pezzè. Bidirectional Symbolic Analysis for Effective Branch Testing
    427 -- 451Alejandrina M. Aranda, Oscar Dieste, Natalia Juristo. Effect of Domain Knowledge on Elicitation Effectiveness: An Internally Replicated Controlled Experiment
    452 -- 475Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo. RELAI Testing: A Technique to Assess and Improve Software Reliability
    476 -- 489David P. Harvie, Arvin Agah. Targeted Scrum: Applying Mission Command to Agile Software Development
    490 -- 505Dan Hao, Lu Zhang, Lei Zang, Yanbo Wang, Xingxia Wu, Tao Xie. To Be Optimal or Not in Test-Case Prioritization

    Volume 42, Issue 4

    302 -- 321Jonathan L. Krein, Lutz Prechelt, Natalia Juristo, Aziz Nanthaamornphong, Jeffrey C. Carver, Sira Vegas, Charles D. Knutson, Kevin D. Seppi, Dennis L. Eggett. A Multi-Site Joint Replication of a Design Patterns Experiment Using Moderator Variables to Generalize across Contexts
    322 -- 344Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling, Guangyuan Li. An Approach to Checking Consistency between UML Class Model and Its Java Implementation
    345 -- 360Marcel Böhme, Soumya Paul. A Probabilistic Analysis of the Efficiency of Automated Software Testing
    361 -- 378Ali Shahbazi, James Miller. Black-Box String Test Case Generation through a Multi-Objective Optimization
    379 -- 402Xin Ye, Razvan C. Bunescu, Chang Liu. Mapping Bug Reports to Relevant Files: A Ranking Model, a Fine-Grained Benchmark, and Feature Evaluation

    Volume 42, Issue 3

    203 -- 280Matthew B. Dwyer, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Andrew J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang. Connecting and Serving the Software Engineering Community
    205 -- 220Mehdi Mirakhorli, Jane Cleland-Huang. Detecting, Tracing, and Monitoring Architectural Tactics in Code
    220 -- 260Rick Kazman, Dennis Goldenson, Ira Monarch, William Nichols, Giuseppe Valetto. Evaluating the Effects of Architectural Documentation: A Case Study of a Large Scale Open Source Project
    245 -- 260Niklas Mellegård, Adry Ferwerda, Kenneth Lind, Rogardt Heldal, Michel R. V. Chaudron. Impact of Introducing Domain-Specific Modelling in Software Maintenance: An Industrial Case Study
    260 -- 280Zhiquan Zhou, Shaowen Xiang, Tsong Yueh Chen. Metamorphic Testing for Software Quality Assessment: A Study of Search Engines
    280 -- 296Qingkai Shi, Jeff Huang, Zhenyu Chen, Baowen Xu. Verifying Synchronization for Atomicity Violation Fixing

    Volume 42, Issue 2

    103 -- 119Paul W. McBurney, Collin McMillan. Automatic Source Code Summarization of Context for Java Methods
    120 -- 135Sira Vegas, Cecilia Apa, Natalia Juristo Juzgado. Crossover Designs in Software Engineering Experiments: Benefits and Perils
    136 -- 152Mauro Caporuscio, Vincenzo Grassi, Moreno Marzolla, Raffaela Mirandola. GoPrime: A Fully Decentralized Middleware for Utility-Aware Service Assembly
    153 -- 169Marco Paolieri, András Horváth, Enrico Vicario. Probabilistic Model Checking of Regenerative Concurrent Systems
    170 -- 186Zebao Gao, Zhenyu Chen, Yunxiao Zou, Atif M. Memon. SITAR: GUI Test Script Repair
    187 -- 202Jing Qiu, Xiaohong Su, Peijun Ma. Using Reduced Execution Flow Graph to Identify Library Functions in Binary Code

    Volume 42, Issue 12

    1095 -- 1117Jose Luis de la Vara, Markus Borg, Krzysztof Wnuk, Leon Moonen. An Industrial Survey of Safety Evidence Change Impact Analysis Practice
    1118 -- 1147Pierre A. Akiki, Arosha K. Bandara, Yijun Yu. Engineering Adaptive Model-Driven User Interfaces
    1148 -- 1161Tse-Hsun Chen, Weiyi Shang, Zhen Ming Jiang, Ahmed E. Hassan, Mohamed N. Nasser, Parminder Flora. Finding and Evaluating the Performance Impact of Redundant Data Access for Applications that are Developed Using Object-Relational Mapping Frameworks
    1162 -- 1177Dirk Riehle, Maximilian Capraro, Detlef Kips, Lars Horn. Inner Source in Platform-Based Product Engineering
    1178 -- 1195Sepehr Eghbali, Ladan Tahvildari. Test Case Prioritization Using Lexicographical Ordering

    Volume 42, Issue 11

    999 -- 1014Damien Octeau, Daniel Luchaup, Somesh Jha, Patrick D. McDaniel. Composite Constant Propagation and its Application to Android Program Analysis
    1015 -- 1035Taek Lee, Jaechang Nam, DongGyun Han, Sunghun Kim, Hoh Peter In. Developer Micro Interaction Metrics for Software Defect Prediction
    1036 -- 1053Wafaa S. El-Kassas, Bassem A. Abdullah, Ahmed H. Yousef, Ayman M. Wahba. Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD)
    1054 -- 1076Tianyong Wu, Jierui Liu, Zhenbo Xu, Chaorong Guo, Yanli Zhang, Jun Yan, Jian Zhang. Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps
    1077 -- 1091Robert M. Hierons, Uraz Cengiz Türker. Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences
    1092 -- 1094Chakkrit Tantithamthavorn, Shane McIntosh, Ahmed E. Hassan, Kenichi Matsumoto. Comments on "Researcher Bias: The Use of Machine Learning in Software Defect Prediction"

    Volume 42, Issue 10

    899 -- 917Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng. A Lightweight System for Detecting and Tolerating Concurrency Bugs
    918 -- 940Alessandro Marchetto, Md. Mahfuzul Islam, M. Waseem Asghar, Angelo Susi, Giuseppe Scanniello. A Multi-Objective Technique to Prioritize Test Cases
    941 -- 959Javier Tuya, Claudio de la Riva, María José Suárez Cabal, Raquel Blanco. Coverage-Aware Test Database Reduction
    960 -- 976Abdallah Namoun, Athanasia Daskalopoulou, Nikolay Mehandjiev, Zhang Xun. Exploring Mobile End User Development: Existing Use and Design Factors
    977 -- 998Xin Xia, David Lo, Sinno Jialin Pan, Nachiappan Nagappan, Xinyu Wang. HYDRA: Massively Compositional Model for Cross-Project Defect Prediction

    Volume 42, Issue 1

    1 -- 0Matthew B. Dwyer, David S. Rosenblum. Editorial: Journal-First Publication for the Software Engineering Community
    2 -- 25Marco Autili, Antonia Bertolino, Guglielmo De Angelis, Davide Di Ruscio, Alessio Di Sandro. A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models
    26 -- 46Burcu Ozcelik, Cemal Yilmaz. Seer: A Lightweight Online Failure Prediction Approach
    47 -- 74Krzysztof Wnuk, Tony Gorschek, David Callele, Even-André Karlsson, Eskil Ahlin, Björn Regnell. Supporting Scope Tracking and Visualization for Very Large-Scale Requirements Engineering-Utilizing FSC+, Decision Patterns, and Atomic Decision Visualizations
    75 -- 99Antonio Filieri, Giordano Tamburrelli, Carlo Ghezzi. Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time
    runs on