default search action
IEEE Transactions on Software Engineering, Volume 42
Volume 42, Number 1, January 2016
- Matthew B. Dwyer
, David S. Rosenblum:
Editorial: Journal-First Publication for the Software Engineering Community. 1 - Marco Autili
A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models. 2-25 - Burcu Ozcelik
Seer: A Lightweight Online Failure Prediction Approach. 26-46 - Krzysztof 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. 47-74 - Antonio Filieri
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. 75-99
Volume 42, Number 2, February 2016
- Paul W. McBurney, Collin McMillan:
Automatic Source Code Summarization of Context for Java Methods. 103-119 - Sira Vegas
Crossover Designs in Software Engineering Experiments: Benefits and Perils. 120-135 - Mauro Caporuscio
GoPrime: A Fully Decentralized Middleware for Utility-Aware Service Assembly. 136-152 - Marco Paolieri
Probabilistic Model Checking of Regenerative Concurrent Systems. 153-169 - Zebao Gao, Zhenyu Chen, Yunxiao Zou, Atif M. Memon:
SITAR: GUI Test Script Repair. 170-186 - Jing Qiu
Using Reduced Execution Flow Graph to Identify Library Functions in Binary Code. 187-202
Volume 42, Number 3, March 2016
- Zhiquan Zhou
Metamorphic Testing for Software Quality Assessment: A Study of Search Engines. 264-284 - Mehdi Mirakhorli
Detecting, Tracing, and Monitoring Architectural Tactics in Code. 206-221 - Qingkai Shi
Verifying Synchronization for Atomicity Violation Fixing. 285-301 - Matthew B. Dwyer
Connecting and Serving the Software Engineering Community. 203-205 - Rick Kazman, Dennis R. Goldenson, Ira Monarch, William Nichols, Giuseppe Valetto
Evaluating the Effects of Architectural Documentation: A Case Study of a Large Scale Open Source Project. 222-247 - Niklas Mellegård
Impact of Introducing Domain-Specific Modelling in Software Maintenance: An Industrial Case Study. 248-263
Volume 42, Number 4, April 2016
- Jonathan L. Krein, Lutz Prechelt, Natalia Juristo, Aziz Nanthaamornphong
A Multi-Site Joint Replication of a Design Patterns Experiment Using Moderator Variables to Generalize across Contexts. 302-321 - Hector 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. 322-344 - Marcel Böhme
A Probabilistic Analysis of the Efficiency of Automated Software Testing. 345-360 - Ali Shahbazi, James Miller:
Black-Box String Test Case Generation through a Multi-Objective Optimization. 361-378 - Xin Ye
Mapping Bug Reports to Relevant Files: A Ranking Model, a Fine-Grained Benchmark, and Feature Evaluation. 379-402
Volume 42, Number 5, May 2016
- Mauro Baluda, Giovanni Denaro
Bidirectional Symbolic Analysis for Effective Branch Testing. 403-426 - Alejandrina M. Aranda
Effect of Domain Knowledge on Elicitation Effectiveness: An Internally Replicated Controlled Experiment. 427-451 - Domenico Cotroneo, Roberto Pietrantuono
RELAI Testing: A Technique to Assess and Improve Software Reliability. 452-475 - David P. Harvie
Targeted Scrum: Applying Mission Command to Agile Software Development. 476-489 - Dan Hao
To Be Optimal or Not in Test-Case Prioritization. 490-504
Volume 42, Number 6, June 2016
- Pierpaolo Degano, Gian-Luigi Ferrari
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis. 505-529 - Motahareh Bahrami Zanjani, Huzefa H. Kagdi, Christian Bird:
Automatically Recommending Peer Reviewers in Modern Code Review. 530-543 - Hui Liu
Dynamic and Automatic Feedback-Based Threshold Adaptation for Code Smell Detection. 544-558 - Eiji Adachi Barbosa, Alessandro F. Garcia, Martin P. Robillard, Benjamin Jakobus:
Enforcing Exception Handling Policies with a Domain-Specific Language. 559-584 - Carmine Giardino, Nicolò Paternoster, Michael Unterkalmsteiner, Tony Gorschek, Pekka Abrahamsson
Software Development in Startup Companies: The Greenfield Startup Model. 585-604
Volume 42, Number 7, July 2016
- Chung-Hao Huang, Doron A. Peled, Sven Schewe
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. 605-622 - Guoxin Su
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters. 623-639 - Nicolas Berthier
Designing Autonomic Management Systems by Using Reactive Control Techniques. 640-657 - Xiao-Ning Shen, Leandro L. Minku
Dynamic Software Project Scheduling through a Proactive-Rescheduling Method. 658-686 - Nili Itzik, Iris Reinhartz-Berger, Yair Wand:
Variability Analysis of Requirements: Considering Behavioral Differences and Reflecting Stakeholders' Perspectives. 687-706
Volume 42, Number 8, August 2016
- W. Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu
A Survey on Software Fault Localization. 707-740 - Mohammad A. Noureddine, Fadi A. Zaraket
Model Checking Software with First Order Logic Specifications Using AIG Solvers. 741-763 - Roman Atachiants, Gavin J. Doherty
Parallel Performance Problems on Shared-Memory Multicore Systems: Taxonomy and Observation. 764-785 - Helen Sharp
The Role of Ethnographic Studies in Empirical Software Engineering. 786-804
Volume 42, Number 9, September 2016
- Sergio Segura
A Survey on Metamorphic Testing. 805-824 - Yan Cai, Qiong Lu:
Dynamic Testing for Deadlocks via Constraints. 825-842 - Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel
Probabilistic Interface Automata. 843-865 - Hang Luo, Xue Liu, Xi Chen, Ting Long, Ronghua Jiang:
Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs. 866-885 - Jürgen Börstler
The Role of Method Chains and Comments in Software Readability and Comprehension - An Experiment. 886-898
Volume 42, Number 10, October 2016
- Mingxing Zhang, Yongwei Wu
A Lightweight System for Detecting and Tolerating Concurrency Bugs. 899-917 - Alessandro Marchetto
A Multi-Objective Technique to Prioritize Test Cases. 918-940 - Javier Tuya
Coverage-Aware Test Database Reduction. 941-959 - Abdallah Namoun
Exploring Mobile End User Development: Existing Use and Design Factors. 960-976 - Xin Xia
HYDRA: Massively Compositional Model for Cross-Project Defect Prediction. 977-998
Volume 42, Number 11, November 2016
- Damien Octeau
Composite Constant Propagation and its Application to Android Program Analysis. 999-1014 - Taek Lee
Developer Micro Interaction Metrics for Software Defect Prediction. 1015-1035 - Wafaa S. El-Kassas
Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD). 1036-1053 - Tianyong Wu
Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps. 1054-1076 - Robert M. Hierons
Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences. 1077-1091 - Chakkrit Tantithamthavorn
Comments on "Researcher Bias: The Use of Machine Learning in Software Defect Prediction". 1092-1094
Volume 42, Number 12, December 2016
- Jose Luis de la Vara
An Industrial Survey of Safety Evidence Change Impact Analysis Practice. 1095-1117 - Pierre A. Akiki
Engineering Adaptive Model-Driven User Interfaces. 1118-1147 - Tse-Hsun Chen
Finding and Evaluating the Performance Impact of Redundant Data Access for Applications that are Developed Using Object-Relational Mapping Frameworks. 1148-1161 - Dirk Riehle
Inner Source in Platform-Based Product Engineering. 1162-1177 - Sepehr Eghbali, Ladan Tahvildari:
Test Case Prioritization Using Lexicographical Ordering. 1178-1195
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: