External Links

    Journal: IEEE Trans. Software Eng.

    Volume 39, Issue 9

    1187 -- 1189Bashar Nuseibeh. Editorial
    1190 -- 1207Dragan Milicev, Zarko Mijailovic. Capsule-Based User Interface Modeling for Large-Scale Applications
    1208 -- 1215Martin J. Shepperd, Qinbao Song, Zhongbin Sun, Carolyn Mair. Data Quality: Some Comments on the NASA Software Defect Datasets
    1216 -- 1229Wilkerson de L. Andrade, Patrícia D. L. Machado. Generating Test Cases for Real-Time Systems Based on Symbolic Models
    1230 -- 1244Lin Padgham, Zhiyong Zhang, John Thangarajah, Tim Miller. Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems
    1245 -- 1263Hewijin Christine Jiau, Lee Wei Mar, Jinghong Cox Chen. OBEY: Optimal Batched Refactoring Plan Execution for Class Responsibility Redistribution
    1264 -- 1282Walid Maalej, Martin P. Robillard. Patterns of Knowledge in API Reference Documentation
    1283 -- 1307Juan P. Galeotti, Nicolás Rosner, Carlos Gustavo López Pombo, Marcelo F. Frias. TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds
    1307 -- 13256Yann Moffett, Jürgen Dingel, Alain Beaulieu. Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems

    Volume 39, Issue 8

    1040 -- 1053Ekrem Kocaguneli, Tim Menzies, Jacky Keung, David R. Cok, Raymond J. Madachy. Active Learning and Effort Estimation: Finding the Essential Content of Software Effort Estimation Data
    1054 -- 1068Fayola Peters, Tim Menzies, Liang Gong, Hongyu Zhang. Balancing Privacy and Utility in Cross-Company Defect Prediction
    1069 -- 1089Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin. Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking
    1090 -- 1111Segla Kpodjedo, Filippo Ricca, Philippe Galinier, Giuliano Antoniol, Yann-Gaël Guéhéneuc. MADMatch: Many-to-Many Approximate Diagram Matching for Design Comparison
    1112 -- 1126Hui Liu, Xue Guo, Weizhong Shao. Monitor-Based Instant Software Refactoring
    1127 -- 1143Michael Pradel, Thomas R. Gross. Name-Based Analysis of Equally Typed Method Arguments
    1144 -- 1156Dag I. K. Sjøberg, Aiko Fallas Yamashita, Bente Cecilie Dahlum Anda, Audris Mockus, Tore Dybå. Quantifying the Effect of Code Smells on Maintenance Effort
    1157 -- 1178Nikola Janevski, Katerina Goseva-Popstojanova. Session Reliability of Web Systems under Heavy-Tailed Workloads: An Approach Based on Design and Analysis of Experiments
    1179 -- 1186Nuria Torrado, Michael P. Wiper, Rosa E. Lillo. Software Reliability Modeling with Software Metrics Data via Gaussian Processes

    Volume 39, Issue 7

    892 -- 909Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt. Amorphous Slicing of Extended Finite State Machines
    910 -- 916JinKyu Lee, Insik Shin. EDZL Schedulability Analysis in Real-Time Multicore Scheduling
    917 -- 929Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin. Embedding Polychrony into Synchrony
    930 -- 953Enrico di Bella, Ilenia Fronza, Nattakarn Phaphoom, Alberto Sillitti, Giancarlo Succi, Jelena Vlasenko. Pair Programming and Software Defects-A Large, Industrial Case Study
    954 -- 974Andrea Zisman, George Spanoudakis, James Dooley, Igor Siveroni. Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation
    975 -- 1001German E. Sibay, Víctor A. Braberman, Sebastián Uchitel, Jeff Kramer. Synthesizing Modal Transition Systems from Triggered Scenarios
    1002 -- 1017Barbara Kitchenham, Dag I. K. Sjøberg, Tore Dybå, O. Pearl Brereton, David Budgen, Martin Höst, Per Runeson. Trends in the Quality of Human-Centric Software Engineering Experiments-A Quasi-Experiment
    1018 -- 1039Yang Liu, Wei Chen 0013, Yanhong A. Liu, Jun Sun 0001, Shao Jie Zhang, Jin Song Dong. Verifying Linearizability via Optimized Refinement Checking

    Volume 39, Issue 6

    742 -- 743Bashar Nuseibeh. In Memoriam - David Notkin (1953-2013)
    744 -- 756Mirco Tribastone. A Fluid Model for Layered Queueing Networks
    757 -- 773Yasutaka Kamei, Emad Shihab, Bram Adams, Ahmed E. Hassan, Audris Mockus, Anand Sinha, Naoyasu Ubayashi. A Large-Scale Empirical Study of Just-in-Time Quality Assurance
    774 -- 786Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich. Abstracting Runtime Heaps for Program Understanding
    787 -- 805Richard Baker, Ibrahim Habli. An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software
    806 -- 821Marcello Cinque, Domenico Cotroneo, Antonio Pecchia. Event Logs for the Analysis of Software Failures: A Rule-Based Approach
    822 -- 834Tim Menzies, Andrew Butcher, David R. Cok, Andrian Marcus, Lucas Layman, Forrest Shull, Burak Turhan, Thomas Zimmermann. Local versus Global Lessons for Defect Prediction and Effort Estimation
    835 -- 856Yahya Rafique, Vojislav B. Misic. The Effects of Test-Driven Development on External Quality and Productivity: A Meta-Analysis
    857 -- 868Guillermo Rodríguez-Navas, Julian Proenza. Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions
    869 -- 891Ivano Malavolta, Patricia Lago, Henry Muccini, Patrizio Pelliccione, Antony Tang. What Industry Needs from Architectural Languages: A Survey

    Volume 39, Issue 5

    588 -- 590Bashar Nuseibeh. Editorial [new associate editors]
    591 -- 612Vivek Nallur, Rami Bahsoon. A Decentralized Self-Adaptation Mechanism for Service-Based Applications in the Cloud
    613 -- 637Martin P. Robillard, Eric Bodden, David Kawrykow, Mira Mezini, Tristan Ratchford. Automated API Property Inference Techniques
    638 -- 657Laura Carnevali, Alessandro Pinzuti, Enrico Vicario. Compositional Verification for Hierarchical Scheduling of Real-Time Systems
    658 -- 683Aldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, Indika Meedeniya. Software Architecture Optimization Methods: A Systematic Literature Review
    684 -- 706Cemal Yilmaz. Test Case-Aware Combinatorial Interaction Testing
    707 -- 724Juha Itkonen, Mika Mäntylä, Casper Lassenius. The Role of the Tester's Knowledge in Exploratory Software Testing
    725 -- 741Nasir Ali, Yann-Gaël Guéhéneuc, Giuliano Antoniol. Trustrace: Mining Software Repositories to Improve the Accuracy of Requirement Traceability Links

    Volume 39, Issue 4

    445 -- 461Anna Perini, Angelo Susi, Paolo Avesani. A Machine Learning Approach to Software Requirements Prioritization
    462 -- 476Tihana Galinac Grbac, Per Runeson, Darko Huljenic. A Second Replicated Quantitative Analysis of Fault Distributions in Complex Software Systems
    477 -- 486Satoshi Ikeda, Masahiro Jibiki, Yasushi Kuno. Coverage Estimation in Model Checking with Bitstate Hashing
    487 -- 515John C. Grundy, John G. Hosking, Karen Na-Liu Li, Norhayati Mohd. Ali, Jun Huh, Richard Lei Li. Generating Domain-Specific Visual Language Tools from Abstract Visual Specifications
    516 -- 536Xiaoyin Wang, Lu Zhang 0023, Tao Xie, Hong Mei, Jiasu Sun. Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis
    537 -- 551Nikolaos Mittas, Lefteris Angelis. Ranking and Clustering Software Cost Estimation Models through a Multiple Comparisons Algorithm
    552 -- 569Shivkumar Shivaji, E. James Whitehead Jr., Ram Akella, Sunghun Kim. Reducing Features to Improve Code Change-Based Bug Prediction
    570 -- 587Pedro Reales Mateo, Macario Polo Usaola, José Luis Fernández Alemán. Validating Second-Order Mutation at System Level

    Volume 39, Issue 3

    292 -- 304Laura Carnevali, Lorenzo Ridi, Enrico Vicario. A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
    305 -- 326José Nuno Oliveira, Miguel Alexandre Ferreira. Alloy Meets the Algebra of Programming: A Case Study
    327 -- 342Silvia Abrahão, Carmine Gravino, Emilio Insfrán, Giuseppe Scanniello, Genoveffa Tortora. Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements: Results from a Family of Five Experiments
    343 -- 360Marcelo Cataldo, James D. Herbsleb. Coordination Breakdowns and Their Impact on Development Productivity and Software Failures
    361 -- 383Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel. Elaborating Requirements Using Model Checking and Inductive Learning
    384 -- 402Mohammad S. Raunak, Leon J. Osterweil. Resource Management for Complex, Dynamic Environments
    403 -- 421Liliana Rosa, Luís Rodrigues, Antónia Lopes, Matti A. Hiltunen, Richard D. Schlichting. Self-Management of Adaptable Component-Based Applications
    422 -- 444Rashina Hoda, James Noble, Stuart Marshall. Self-Organizing Roles on Agile Software Development Teams

    Volume 39, Issue 2

    145 -- 146Bashar Nuseibeh. Editorial: State of the Journal
    147 -- 162Gustavo Soares, Rohit Gheyi, Tiago Massoni. Automated Behavioral Testing of Refactoring Engines
    163 -- 183Ali Shahbazi, Andrew F. Tappenden, James Miller. Centroidal Voronoi Tessellations - A New Approach to Random Testing
    184 -- 196Marco Piccioni, Manuel Oriol, Bertrand Meyer. Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support
    197 -- 215Joseph Lawrance, Christopher Bogart, Margaret M. Burnett, Rachel K. E. Bellamy, Kyle Rector, Scott D. Fleming. How Programmers Debug, Revisited: An Information Foraging Theory Perspective
    216 -- 236Stefan Leue, Wei Wei. Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems
    237 -- 257Karel Dejaeger, Thomas Verbraken, Bart Baesens. Toward Comprehensible Software Fault Prediction Models Using Bayesian Network Classifiers
    258 -- 275Shifa-e-Zehra Haidry, Tim Miller. Using Dependency Structures for Prioritization of Functional Test Suites
    276 -- 291Gordon Fraser, Andrea Arcuri. Whole Test Suite Generation

    Volume 39, Issue 12

    1611 -- 1640Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wasowski, Krzysztof Czarnecki. A Study of Variability Models and Languages in the Systems Software Domain
    1641 -- 1653Bev Littlewood, Andrey Povyakalo. Conservative Bounds for the pfd of a 1-out-of-2 Software-Based System Based on an Assessor's Subjective Probability of "Not Worse Than Independence"
    1654 -- 1679Kathryn T. Stolee, Sebastian G. Elbaum. Identification, Impact, and Refactoring of Smells in Pipe-Like Web Mashups
    1680 -- 1697Josip Maras, Maja Stula, Jan Carlson, Ivica Crnkovic. Identifying Code of Individual Features in Client-Side Web Applications
    1698 -- 1713Tim Menzies, Adam Brady, Jacky Keung, Jairus Hihn, Steve Williams, Oussama El-Rawas, Phillip Green II, Barry W. Boehm. Learning Project Management Decisions: A Case Study with Case-Based Reasoning versus Data Farming
    1714 -- 1735Deshan Cooray, Ehsan Kouroshfar, Sam Malek, Roshanak Roshandel. Proactive Self-Adaptation for Improving the Reliability of Mission-Critical, Embedded, and Mobile Software
    1736 -- 1752Negar Hariri, Carlos Castro-Herrera, Mehdi Mirakhorli, Jane Cleland-Huang, Bamshad Mobasher. Supporting Domain Analysis through Mining and Recommending Features from Online Product Listings
    1753 -- 1771Gwanhoo Lee, J. Alberto Espinosa, William H. DeLone. Task Environment Complexity, Global Team Dispersion, Process Capabilities, and Coordination in Software Development

    Volume 39, Issue 11

    1466 -- 0Bashar Nuseibeh. In Memoriam: Mary Jean Harrold (1947-2013)
    1467 -- 1493Naeem Esfahani, Ahmed M. Elkhodary, Sam Malek. A Learning-Based Framework for Engineering Feature-Oriented Self-Adaptive Software Systems
    1494 -- 1520Norhayati Mohd. Ali, John G. Hosking, John Grundy. A Taxonomy and Mapping of Computer-Based Critiquing Tools
    1521 -- 1530Bev Littlewood, Andrey Povyakalo. Conservative Reasoning about the Probability of Failure on Demand of a 1-out-of-2 Software-Based System in Which One Channel Is "Possibly Perfect"
    1531 -- 1548Alexander Reder, Alexander Egyed. Determining the Cause of a Design Model Inconsistency
    1549 -- 1563Huo Yan Chen, T. H. Tse. Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software
    1564 -- 1581Sriram Kailasam, Nathan Gnanasambandam, Janakiram Dharanipragada, Naveen Sharma. Optimizing Ordered Throughput Using Autonomic Cloud Bursting Schedulers
    1582 -- 1596Laura Carvajal, Ana María Moreno, Maria Isabel Sánchez Segura, Ahmed Seffah. Usability through Software Design
    1597 -- 1610Dongsun Kim, Yida Tao, Sunghun Kim, Andreas Zeller. Where Should We Fix This Bug? A Two-Phase Recommendation Model

    Volume 39, Issue 10

    1326 -- 1344Sreedevi Sampath, Renée C. Bryce, Atif M. Memon. A Uniform Representation of Hybrid Criteria for Regression Testing
    1345 -- 1357Akito Monden, Takuma Hayashi, Shoji Shinoda, Kumiko Shirai, Junichi Yoshida, Mike Barker, Ken-ichi Matsumoto. Assessing the Cost Effectiveness of Fault Prediction in Acceptance Testing
    1358 -- 1375Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin. Early Detection of Collaboration Conflicts and Risks
    1376 -- 1402Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand. Generating Test Data from OCL Constraints with Search Techniques
    1403 -- 1426David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu. Monitoring Data Usage in Distributed Systems
    1427 -- 1443Stephen W. Thomas, Meiyappan Nagappan, Dorothea Blostein, Ahmed E. Hassan. The Impact of Classifier Configuration and Classifier Combination on Bug Localization
    1444 -- 1465Chunyang Ye, Hans-Arno Jacobsen. Whitening SOA Testing via Event Exposure

    Volume 39, Issue 1

    1 -- 17Wei-neng Chen, Jun Zhang 0003. Ant Colony Optimization for Software Project Scheduling and Staffing with an Event-Based Scheduler
    18 -- 44Davide Falessi, Giovanni Cantone, Gerardo Canfora. Empirical Principles and an Industrial Case Study in Retrieving Equivalent Requirements via Natural Language Processing Techniques
    45 -- 62Miryung Kim, David Notkin, Dan Grossman, Gary Wilson Jr.. Identifying and Summarizing Systematic Code Changes via Rule Inference
    63 -- 79Sven Apel, Christian Kästner, Christian Lengauer. Language-Independent and Automated Software Composition: The FeatureHouse Experience
    80 -- 96Roberto Natella, Domenico Cotroneo, João Durães, Henrique Madeira. On Fault Representativeness of Software Fault Injection
    97 -- 118Richard A. Hayden, Jeremy T. Bradley, Allan Clark. Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis
    119 -- 140Leticia Duboc, Emmanuel Letier, David S. Rosenblum. Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis
    runs on