Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE 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, Antonia Bertolino, Guglielmo De Angelis, Davide Di Ruscio, Alessio Di Sandro:
A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models. 2-25 - Burcu Ozcelik, Cemal Yilmaz:
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, Giordano Tamburrelli, Carlo Ghezzi:
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, Cecilia Apa, Natalia Juristo Juzgado:
Crossover Designs in Software Engineering Experiments: Benefits and Perils. 120-135 - Mauro Caporuscio, Vincenzo Grassi, Moreno Marzolla, Raffaela Mirandola:
GoPrime: A Fully Decentralized Middleware for Utility-Aware Service Assembly. 136-152 - Marco Paolieri, András Horváth, Enrico Vicario:
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, Xiaohong Su, Peijun Ma:
Using Reduced Execution Flow Graph to Identify Library Functions in Binary Code. 187-202
Volume 42, Number 3, March 2016
- Zhiquan Zhou, Shaowen Xiang, Tsong Yueh Chen:
Metamorphic Testing for Software Quality Assessment: A Study of Search Engines. 264-284 - Mehdi Mirakhorli, Jane Cleland-Huang:
Detecting, Tracing, and Monitoring Architectural Tactics in Code. 206-221 - Qingkai Shi, Jeff Huang, Zhenyu Chen, Baowen Xu:
Verifying Synchronization for Atomicity Violation Fixing. 285-301 - Matthew B. Dwyer, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Amy J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang:
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, Adry Ferwerda, Kenneth Lind, Rogardt Heldal, Michel R. V. Chaudron:
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, 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. 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, Soumya Paul:
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, Razvan C. Bunescu, Chang Liu:
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, Mauro Pezzè:
Bidirectional Symbolic Analysis for Effective Branch Testing. 403-426 - Alejandrina M. Aranda, Oscar Dieste, Natalia Juristo:
Effect of Domain Knowledge on Elicitation Effectiveness: An Internally Replicated Controlled Experiment. 427-451 - Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo:
RELAI Testing: A Technique to Assess and Improve Software Reliability. 452-475 - David P. Harvie, Arvin Agah:
Targeted Scrum: Applying Mission Command to Agile Software Development. 476-489 - Dan Hao, Lu Zhang, Lei Zang, Yanbo Wang, Xingxia Wu, Tao Xie:
To Be Optimal or Not in Test-Case Prioritization. 490-504
Volume 42, Number 6, June 2016
- Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
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, Qiurong Liu, Zhendong Niu, Yang 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, Farn Wang:
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. 605-622 - Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum:
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters. 623-639 - Nicolas Berthier, Éric Rutten, Noel De Palma, Soguy Mak Karé Gueye:
Designing Autonomic Management Systems by Using Reactive Control Techniques. 640-657 - Xiao-Ning Shen, Leandro L. Minku, Rami Bahsoon, Xin Yao:
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, Franz Wotawa:
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, David Gregg:
Parallel Performance Problems on Shared-Memory Multicore Systems: Taxonomy and Observation. 764-785 - Helen Sharp, Yvonne Dittrich, Cleidson R. B. de Souza:
The Role of Ethnographic Studies in Empirical Software Engineering. 786-804
Volume 42, Number 9, September 2016
- Sergio Segura, Gordon Fraser, Ana Belén Sánchez, Antonio Ruiz Cortés:
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, Barbara Paech:
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, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng:
A Lightweight System for Detecting and Tolerating Concurrency Bugs. 899-917 - Alessandro Marchetto, Md. Mahfuzul Islam, M. Waseem Asghar, Angelo Susi, Giuseppe Scanniello:
A Multi-Objective Technique to Prioritize Test Cases. 918-940 - Javier Tuya, Claudio de la Riva, María José Suárez Cabal, Raquel Blanco:
Coverage-Aware Test Database Reduction. 941-959 - Abdallah Namoun, Athanasia Daskalopoulou, Nikolay Mehandjiev, Zhang Xun:
Exploring Mobile End User Development: Existing Use and Design Factors. 960-976 - Xin Xia, David Lo, Sinno Jialin Pan, Nachiappan Nagappan, Xinyu Wang:
HYDRA: Massively Compositional Model for Cross-Project Defect Prediction. 977-998
Volume 42, Number 11, November 2016
- Damien Octeau, Daniel Luchaup, Somesh Jha, Patrick D. McDaniel:
Composite Constant Propagation and its Application to Android Program Analysis. 999-1014 - Taek Lee, Jaechang Nam, DongGyun Han, Sunghun Kim, Hoh Peter In:
Developer Micro Interaction Metrics for Software Defect Prediction. 1015-1035 - Wafaa S. El-Kassas, Bassem Amin Abdullah, Ahmed H. Yousef, Ayman M. Wahba:
Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD). 1036-1053 - Tianyong 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. 1054-1076 - Robert M. Hierons, Uraz Cengiz Türker:
Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences. 1077-1091 - Chakkrit Tantithamthavorn, Shane McIntosh, Ahmed E. Hassan, Kenichi Matsumoto:
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, Markus Borg, Krzysztof Wnuk, Leon Moonen:
An Industrial Survey of Safety Evidence Change Impact Analysis Practice. 1095-1117 - Pierre A. Akiki, Arosha K. Bandara, Yijun Yu:
Engineering Adaptive Model-Driven User Interfaces. 1118-1147 - Tse-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. 1148-1161 - Dirk Riehle, Maximilian Capraro, Detlef Kips, Lars Horn:
Inner Source in Platform-Based Product Engineering. 1162-1177 - Sepehr Eghbali, Ladan Tahvildari:
Test Case Prioritization Using Lexicographical Ordering. 1178-1195
a service of 
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-05-14 21:13 CEST 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:
