External Links

    Journal: IEEE Trans. Software Eng.

    Volume 41, Issue 9

    842 -- 865Chang Xu, Wang Xi, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu. Cina: Suppressing the Detection of Unstable Context Inconsistency
    866 -- 886Hamid Bagheri, Alireza Sadeghi, Joshua Garcia, Sam Malek. COVERT: Compositional Analysis of Android Inter-App Permission Leakage
    887 -- 900Hui Liu, Qiurong Liu, Yang Liu, Zhouding Wang. Identifying Renaming Opportunities by Expanding Conducted Rename Refactorings
    901 -- 924Justyna Petke, Myra B. Cohen, Mark Harman, Shin Yoo. Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection
    925 -- 943Yoon-chan Jhi, Xiaoqi Jia, Xinran Wang, Sencun Zhu, Peng Liu 0005, Dinghao Wu. Program Characterization Using Runtime Values and Its Application to Software Plagiarism Detection

    Volume 41, Issue 8

    730 -- 744Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang. An I/O Efficient Approach for Detecting All Accepting Cycles
    745 -- 763Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin. Reducing Feedback Delay of Software Development Tools via Continuous Analysis
    764 -- 780Yuriy Brun, Jae young Bang, George Edwards, Nenad Medvidovic. Self-Adapting Reliability in Distributed Software Systems
    781 -- 802Apostolos Ampatzoglou, Alexander Chatzigeorgiou, Sofia Charalampidou, Paris Avgeriou. The Effect of GoF Design Patterns on Stability: A Case Study
    803 -- 819Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl. The Risks of Coverage-Directed Test Case Generation
    820 -- 841Sarah Nadi, Thorsten Berger, Christian Kästner, Krzysztof Czarnecki. Where Do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study

    Volume 41, Issue 7

    620 -- 638Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione, Antony Tang. Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
    639 -- 660Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias. BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
    661 -- 690Mohamed El-Attar, Hamza Luqman, Péter Kárpáti, Guttorm Sindre, Andreas L. Opdahl. Extending the UML Statecharts Notation to Model Security Aspects
    691 -- 710David Maplesden, Ewan D. Tempero, John G. Hosking, John C. Grundy. Performance Analysis for Object-Oriented Software: A Systematic Mapping
    711 -- 729Harold Thimbleby. Safer User Interfaces: A Case Study in Improving Number Entry

    Volume 41, Issue 6

    526 -- 544Fabian Pittke, Henrik Leopold, Jan Mendling. Automatic Detection and Resolution of Lexical Ambiguity in Process Models
    545 -- 564Aaron K. Massey, Paul N. Otto, Annie I. Antón. Evaluating Legal Implementation Readiness Decision-Making
    565 -- 581Christoph Treude, Martin P. Robillard, Barthélémy Dagenais. Extracting Development Tasks to Navigate Software Documentation
    582 -- 602Theodore Chaikalis, Alexander Chatzigeorgiou. Forecasting Java Software Evolution Trends Employing Network Models
    603 -- 619Yingfei Xiong, Hansheng Zhang, Arnaud Hubaux, Steven She, Jie Wang, Krzysztof Czarnecki. Range Fixes: Interactive Error Resolution for Software Configuration

    Volume 41, Issue 5

    429 -- 444Shabnam Mirshokraie, Ali Mesbah 0001, Karthik Pattabiraman. Guided Mutation Testing for JavaScript Web Applications
    445 -- 461Aleksandra Jovanovic, Didier Lime, Olivier H. Roux. Integer Parameter Synthesis for Real-Time Systems
    462 -- 489Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Denys Poshyvanyk, Andrea De Lucia. Mining Version Histories for Detecting Code Smells
    490 -- 506Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo. Static Fault Localization in Model Transformations
    507 -- 525Earl T. Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, Shin Yoo. The Oracle Problem in Software Testing: A Survey

    Volume 41, Issue 4

    331 -- 357Yibiao Yang, Yuming Zhou, Hongmin Lu, Lin Chen, Zhenyu Chen, Baowen Xu, Hareton K. N. Leung, Zhenyu Zhang. Are Slice-Based Cohesion Metrics Actually Useful in Effort-Aware Post-Release Fault-Proneness Prediction? An Empirical Study
    358 -- 383Annibale Panichella, Rocco Oliveto, Massimiliano Di Penta, Andrea De Lucia. Improving Multi-Objective Test Case Selection by Injecting Diversity in Genetic Algorithms
    384 -- 407Gabriele Bavota, Mario Linares Vásquez, Carlos Eduardo Bernal-Cárdenas, Massimiliano Di Penta, Rocco Oliveto, Denys Poshyvanyk. The Impact of API Change- and Fault-Proneness on the User Ratings of Android Apps
    408 -- 428Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy. Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms

    Volume 41, Issue 3

    221 -- 240Amel Bennaceur, Valérie Issarny. Automated Synthesis of Mediators to Support Component Interoperability
    241 -- 263Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva. Embedding, Evolution, and Validation of Model-Driven Spreadsheets
    264 -- 278Juan F. Pérez, Giuliano Casale, Sergio Pacheco-Sanchez. Estimating Computational Requirements in Multi-Threaded Applications
    279 -- 293Robert M. Hierons. Generating Complete Controllable Test Suites for Distributed Testing
    294 -- 313Abdelilah Sakti, Gilles Pesant, Yann-Gaël Guéhéneuc. Instance Generator and Problem Representation to Improve Object Oriented Code Coverage
    314 -- 330Seonah Lee, Sungwon Kang, Sunghun Kim, Matthew Staats. The Impact of View Histories on Edit Recommendations

    Volume 41, Issue 2

    113 -- 134Fevzi Belli, Mutlu Beyazit. Exploiting Model Morphology for Event-Based Testing
    135 -- 156Nicolas Mangano, Thomas D. LaToza, Marian Petre, André van der Hoek. How Software Designers Interact with Sketches at the Whiteboard
    157 -- 175Fabian Brosig, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek, Samuel Kounev. Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures
    176 -- 197Mark D. Syer, Meiyappan Nagappan, Bram Adams, Ahmed E. Hassan. Replicating and Re-Evaluating the Theory of Relative Defect-Proneness
    198 -- 220Ning Chen, Sunghun Kim. STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution

    Volume 41, Issue 12

    1153 -- 1168Hector A. Duran-Limon, Carlos A. Garcia-Rios, Francisco Edgar Castillo-Barrera, Rafael Capilla. An Ontology-Based Product Architecture Derivation Approach
    1169 -- 1183Paul Clarke, Rory V. O'Connor, Brian Leavy, Murat Yilmaz. Exploring the Relationship between Software Process Adaptive Capability and Organisational Performance
    1184 -- 1201Matthias Schur, Andreas Roth, Andreas Zeller. Mining Workflow Models from Web Applications
    1202 -- 1216Lu Zhang, Arijit Chattopadhyay, Chao Wang. Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures
    1217 -- 1235Zhenzhou Tian, Qinghua Zheng, Ting Liu, Ming Fan, Eryue Zhuang, Zijiang Yang. Software Plagiarism Detection with Birthmarks Based on Dynamic Key Instruction Sequences
    1236 -- 1256Claire Le Goues, Neal Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar T. Devanbu, Stephanie Forrest, Westley Weimer. The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs

    Volume 41, Issue 11

    1038 -- 1054Paige Rodeghero, Cheng Liu, Paul W. McBurney, Collin McMillan. An Eye-Tracking Study of Java Programmers and Application to Source Code Summarization
    1055 -- 1090Nikolaos Tsantalis, Davood Mazinanian, Giri Panamoottil Krishnan. Assessing the Refactorability of Software Clones
    1091 -- 1118Zhen Ming Jiang, Ahmed E. Hassan. A Survey on Load Testing of Large-Scale Software Systems
    1119 -- 1137Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl. Automated Oracle Data Selection Support
    1138 -- 1152Hong Zhu, Ian Bayley. On the Composability of Design Patterns

    Volume 41, Issue 10

    944 -- 968Chetan Arora 0002, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer. Automated Checking of Conformance to Requirements Templates Using Natural Language Processing
    969 -- 985Kelly Blincoe, Giuseppe Valetto, Daniela E. Damian. Facilitating Coordination between Software Developers: A Study and Techniques for Timely and Efficient Recommendations
    986 -- 1000Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun. First, Debug the Test Oracle
    1001 -- 1018Joseph Krall, Tim Menzies, Misty Davies. GALE: Geometric Active Learning for Search-Based Software Engineering
    1019 -- 1037Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller. Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

    Volume 41, Issue 1

    1 -- 2Matthew B. Dwyer. State of the Journal Editorial
    3 -- 18Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li. A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata
    19 -- 39Binny M. Samuel, Linwood Watkins, Andrew Ehle, Vijay Khatri. Customizing the Representation Capabilities of Process Models: Understanding the Effects of Perceived Modeling Impediments
    40 -- 64Soo Ling Lim, Peter J. Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden. Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering
    65 -- 81Emerson R. Murphy-Hill, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan. The Design Space of Bug Fixes and How Developers Navigate It
    82 -- 99Minghui Zhou, Audris Mockus. Who Will Stay in the FLOSS Community? Modeling Participant's Initial Behavior
    runs on